a Cassowary constraint solving algorithm implements in pure C.
-
Updated
Jul 15, 2026 - C++
a Cassowary constraint solving algorithm implements in pure C.
🐦 Haxe port of Kiwi, an implementation of the Cassowary constraint solving algorithm
Solve Sudoku with Python using the CSF approach
Implementation of Constraint Solvers in Java
RuCos is an extremely high-performance parallel constraint solver implemented by Rust.
Unit tests for Haxe Kiwi, an implementation of the Cassowary constraint solving algorithm
A Quick Conflict Driven SAT Solver
A portfolio solver for the MaxSAT problem.
To associate your repository with the constraint-solving-algorithm topic, visit your repo's landing page and select "manage topics."