ILOG CPLEX 11.0 User's Manual > Discrete Optimization > Logical Constraints in Optimization > What Are Logical Constraints?

For ILOG CPLEX, a logical constraint combines linear constraints by means of logical operators, such as logical-and, logical-or, negation (that is, not), conditional statements (that is, if ... then ...) to express complex relations between linear constraints. ILOG CPLEX can also handle certain logical expressions appearing within a linear constraint. One such logical expression is the minimum of a set of variables. Another such logical expression is the absolute value of a variable. There's more about logical expressions in Which Nonlinear Expressions Can Be Extracted?.