issues
search
KardinalAI
/
cp_sat
Google CP-SAT solver Rust bindings
Apache License 2.0
18
stars
5
forks
source link
Linear constraint support in the builder
#2
Closed
TeXitoi
closed
2 years ago