constraint-solving-algorithm

There are 8 repositories under constraint-solving-algorithm topic.

starwing/amoeba
a Cassowary constraint solving algorithm implements in pure C.
Language:C++177 15 1124
Tw1ddle/haxe-kiwi
:bird: Haxe port of Kiwi, an implementation of the Cassowary constraint solving algorithm
Language:Haxe19 9 22
mahdavipanah/SudokuPyCSF
Solve Sudoku with Python using the CSF approach
Language:Python4 3 02
niibruce/ConstraintSolver
Implementation of Constraint Solvers in Java
Language:Java4 1 02
luhanzhen/RuCos
RuCos is an extremely high-performance parallel constraint solver implemented by Rust.
Language:Rust1 1 00
Randy1005/QSat
A Quick Conflict Driven SAT Solver
Language:C++0 2 10
pmatos/maxsatzilla
A portfolio solver for the MaxSAT problem.
Language:C4 11
Tw1ddle/haxe-kiwi-unit-tests
Unit tests for Haxe Kiwi, an implementation of the Cassowary constraint solving algorithm
Language:Haxe3 0