issues
search
KardinalAI
/
cp_sat
Google CP-SAT solver Rust bindings
Apache License 2.0
18
stars
5
forks
source link
Builder first iteration: bool constraints
#1
Closed
TeXitoi
closed
2 years ago