Category "cp-sat-solver"

ORTools CP-SAT Solver. Constraint to require two lists of variables to be drawn from the same set of integers

I have two lists of variables M and T. I would like to create a constraint where the set of unique values between M and T are identical. From the solution varia

How to get consistent ortools assignment results?

The problem is to assign items into a few regions. Each item pairs have a crossing number, and the objective is to minimize the crossing of items across the reg