Constraints
| abs |
Absolute value constraint
|
| all_different |
All different constraint
|
| and |
Conjunction composite constraint
|
| cplinctr |
Linear constraints
|
| cpnlinctr |
Non-linear constraints
|
| cumulative |
Cumulative constraint
|
| cycle |
Cycle constraint
|
| disjunctive |
Disjunctive constraint
|
| distance |
Distance constraint
|
| distribute |
Distribute constraint with fixed bounds
|
| dot |
Dot product
|
| element |
Element constraint
|
| equiv |
Equivalence composite constraint
|
| exp |
Exponential of a non-linear expression
|
| generic_binary_constraint |
Generic Binary constraint
|
| generic_nary_constraint |
Generic nary constraint
|
| implies |
Implication composite constraint
|
| ln |
Natural logarithm of a non-linear expression
|
| maximum_minimum |
Maximum/minimum constraint
|
| occurrence |
Occurrence constraint
|
| or |
Disjunction composite constraint
|
| producer_consumer |
Producer Consumer constraint
|
| table_constraint |
Generic nary table constraint
|