KardinalAI / cp_sat

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

Change version of libc and prost #32

Closed MathuxNY-73 closed 3 months ago