A Lazy Clause Generation Constraint Programming solver written in Rust.
↑ +1 today
Discover the best Lcg open source repositories on GitHub. Explore trending tools, live star counts, source code, and developer projects updated daily.