search

KardinalAI / cp_sat

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

Add operator constraint in the builder #20

Open TeXitoi opened 3 years ago

TeXitoi commented 3 years ago

list of operators: