KardinalAI / cp_sat

Google CP-SAT solver Rust bindings
19Updated 4 months ago

Related projects

Alternatives and complementary repositories for cp_sat