cp-sat

OR-Tools CP-SAT: Model Adjacency Conflicts with add_exactly_one and add_at_least_one Clauses

Oct. 27, 05:00

1