KardinalAI / cp_sat

Google CP-SAT solver Rust bindings
Apache License 2.0
18 stars 5 forks source link

Refactor and doc #7

Closed TeXitoi closed 2 years ago

FrederickFrance commented 2 years ago

:+1: