In the Interactive Optimizer, you can include indicator constraints among the usual linear constraints in LP-file format. You can also use the commands enter
and add
with indicator constraints. For example, you could declare y as a binary variable and enter the following:
constr01: y = 0 -> x1 + x2 + x3 = 0
|
This formulation of an indicator constraint is recommended instead of the following Big M formulation:
constr01: x1 + x2 + x3 - 1e+9 y <= 0 // not recommended
|
That Big M formulation relies on the x
values summing to less than the Big M value (in this case, one billion). Such an assumption may cause numeric instability or undesirable solutions in certain circumstances, whereas a model with the indicator constraint, by contrast, introduces no new assumptions about upper bounds.