Topic: "constraint-solving-algorithm"
starwing/amoeba
a Cassowary constraint solving algorithm implements in pure C.
Language: C++ - Size: 348 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 192 - Forks: 25
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: 8 months ago - Pushed at: almost 4 years ago - Stars: 19 - Forks: 2
mahdavipanah/SudokuPyCSF
Solve Sudoku with Python using the CSF approach
Language: Python - Size: 4.88 KB - Last synced at: 4 months ago - Pushed at: almost 9 years ago - Stars: 5 - Forks: 2
niibruce/ConstraintSolver
Implementation of Constraint Solvers in Java
Language: Java - Size: 150 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 4 - 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: almost 2 years 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: 8 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1
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: 19 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0