GitHub repository: KardinalAI/cp_sat
Primary language: Rust
Created: 2021-09-07T17:45:23Z
Description: Google CP-SAT solver Rust bindings