issues
search
KardinalAI
/
cp_sat
Google CP-SAT solver Rust bindings
Apache License 2.0
18
stars
5
forks
source link
Add multiple circuit constraint in the builder
#14
Open
TeXitoi
opened
2 years ago