ConSol-Lab / Pumpkin

A lazy clause generation constraint solver written in Rust.
17Updated this week

Related projects

Alternatives and complementary repositories for Pumpkin