How to add piece-wise linear constraint in OR-Tools with CP-SAT solver?
In a task allocation problem, suppose:
How to add a constraint that a linear expression is outside bounds that are variables?
I want to add the constraint that abs(x) >= y with x and y being variables.
The following code fails because AddBoolOr doesn’t suppport BoundedLinearExpression as arguments.
How to add a constraint that a linear expression is outside bounds that are variables?
I want to add the constraint that abs(x) >= y with x and y being variables.
The following code fails because AddBoolOr doesn’t suppport BoundedLinearExpression as arguments.
CP-SAT how to make constrain based on start var range
BoolVar across1 = model.NewBoolVar(“across1”);
BoolVar across2 = model.NewBoolVar(“across2”);