ILOG CPLEX 11.0 User's Manual > Discrete Optimization > Using Indicator Constraints > Indicator Constraints in the Interactive Optimizer

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.