GitHub topics: constraint-solving-algorithm
starwing/amoeba
a Cassowary constraint solving algorithm implements in pure C.
Language: C++ - Size: 136 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 188 - Forks: 25
mahdavipanah/SudokuPyCSF
Solve Sudoku with Python using the CSF approach
Language: Python - Size: 4.88 KB - Last synced at: about 1 month ago - Pushed at: over 8 years ago - Stars: 5 - Forks: 2
luhanzhen/RuCos
RuCos is an extremely high-performance parallel constraint solver implemented by Rust.
Language: Rust - Size: 248 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
Randy1005/QSat
A Quick Conflict Driven SAT Solver
Language: C++ - Size: 75.4 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
pmatos/maxsatzilla
A portfolio solver for the MaxSAT problem.
Language: C - Size: 8.89 MB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1
niibruce/ConstraintSolver
Implementation of Constraint Solvers in Java
Language: Java - Size: 150 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 2
Tw1ddle/haxe-kiwi-unit-tests
Unit tests for Haxe Kiwi, an implementation of the Cassowary constraint solving algorithm
Language: Haxe - Size: 13.7 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
Tw1ddle/haxe-kiwi
:bird: Haxe port of Kiwi, an implementation of the Cassowary constraint solving algorithm
Language: Haxe - Size: 59.6 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 2