Indicator constraints

Indicator constraints are defined by a binary variable, called the indicator, and a constraint. Depending on the value of the indicator, the constraint is enforced or relaxed.

For instance, if the constraint x + y ≥ 3 should only be enforced if the binary variable u is equal to 1, then (u=1 → x+y≥3) is an indicator constraint.

An indicator constraint in Python can be added to a problem with the addIndicator as follows (note the "==" as the symbol for equality):

m.addIndicator(vb == 1, v1 + v2 >= 4)