A Lazy Clause Generation Constraint Programming solver written in Rust.
Last updated Jun 30, 2026
82
Stars
33
Forks
45
Issues
0
Stars/day
Attention Score
50
Language breakdown
Rust 90.7%
MiniZinc 4.6%
C 2.6%
C++ 1.4%
Python 0.5%
Shell 0.1%
โธ Files
click to expand
README
No README available.
๐ More in this category