search

KardinalAI / cp_sat

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

Bind `ValidateCpModel` from cp_model_checker.h #26

Closed TeXitoi closed 3 years ago

TeXitoi commented 3 years ago

Fixes #22