hakank /hakank
My public programs and models - mostly combinatorial problems and puzzles
JavaScript408
constraint-satisfaction 开源项目推荐（296 个）
constraint-satisfaction 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
20收录项目
1079Star 总量
12覆盖语言
相关标签
热门项目 前 20
按 Star 数排序展示前 20 个 · GitHub 共 296 个仓库
Gecode /gecode
Generic Constraint Development Environment
C++339
vivri /Adjective
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
Scala91
davecom /SwiftCSP
A Constraint Satisfaction Problem Solver in Pure Swift
Swift84
EGjoni /Everything-Will-Be-IK
A Robust Inverse Kinematics Library
HTML48
siemens /JMiniZinc
JMiniZinc
Java18
purnanandelango /ct-scvx
Successive Convexification with Continuous-Time Constraint Satisfaction
MATLAB17
UW-ACL /ct-scvx
Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction
17
taovietducofficial /AI-Final-Project
AI Final Project implementing fundamental Artificial Intelligence search techniques, including Local Search, Adversarial Search, Minimax, Constraint Satisfaction, and Information Search using Python.
Python8
rainjacket /orca-solver
High-performance crossword grid filler
Rust8
chassisframework /bin_packer
(WIP) Optimizing bin packing constraint solver for Elixir
Elixir5
O2sa /Jadwali
An autonomous, conflict-free school timetable generator & interactive scheduling platform powered by deterministic CSP algorithms
TypeScript5
fkutzner /PyCSCL
A lightweight CNF SAT constraint encoder library
Python5
mahdavipanah /SudokuPyCSF
Solve Sudoku with Python using the CSF approach
Python5
agtm1199 /uber-polya
A universal problem-solving skill for code agents (e.g. Claude, Codex), inspired by George Polya's general algorithm
Python4
spoorendonk /cbls
Constraint-based local search (ViolationLS) for mixed discrete-continuous optimization — C++23 with Python bindings
C++4
justiceo /Praso-DPD
A design pattern detection tool based on constraint satisfaction
Scala4
sgreben /rc
A rule checker library for Java. Checks sets of rules for completeness, overlap, and constraint satisfaction.
Java3
standardgalactic /constraint-games
Collection of classic logic puzzles implemented using constraint satisfaction, search algorithms, and optimization techniques.
Python3
digitalbricklayer /workbench
Experiments in building a constraint workbench.
C#3
关于这个话题
- 清单取自 GitHub 话题页并按 Star 数排序，每次展示前 20 个项目；原始页面见 https://github.com/topics/constraint-satisfaction。
- 该话题在 GitHub 上共有 296 个仓库， 本站收录的是其中最热门的 20 个，不是全量列表。
- Star / Fork 每日自动刷新一次，实时数据以 GitHub 为准。
- 当前 20 个项目累计 1079 Star，覆盖 12 种主要语言，数据更新于 2026-11-08。
- 中文介绍来自 GitHub 官方话题说明（github/explore）的机器翻译，可点「查看原文」对照；译文缺失时会先展示原文。