Left Op C, where Left is a list of
Coefficient*Variableterms (variables in the context of linear programs can be atoms or compound terms) and C is a non-negative numeric constant. The list represents the sum of its elements. Op can be
>=. The coefficient
1can be omitted. An integrality constraint is of the form
integral(Variable)and constrains Variable to an integral value.