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 portfolio solver for the MaxSAT problem.
A Quick Conflict Driven SAT Solver
To associate your repository with the constraint-solving-algorithm topic, visit your repo's landing page and select "manage topics."