A Lazy Clause Generation Constraint Programming solver written in Rust.
-
Updated
Oct 9, 2026 - Rust
#
lazy-clause-generation
Here are 2 public repositories matching this topic...
CP+SAT solver framework built to be reliable, performant, and extensible
-
Updated
Oct 6, 2026 - Rust
Add this topic to your repo
To associate your repository with the lazy-clause-generation topic, visit your repo's landing page and select "manage topics."