Constraints

Constraint are declared just like decision variables, in LP/MIP problems they have type linctr – linear constraint.

declarations
  MaxCap: linctr
  Inven: array(1..10) of linctr
end-declarations

The ``value'' of a constraint entity is a linear expression of decision variables, a constraint type (≤, ≥, =), and a constant term. It is set using an assignment statement:

MaxCap := 10*x + 20*y + 30*z <= 100
Ctr(3) := 4*x(1) - 3*x(2) >= 10
Inven(2) := stock(2) = stock(1) + buy(2) - sell(2)