The Constraint Programming Solver (Experimental)

Predicates

Subsections:

A predicate asserts a fact about its subject. You use a predicate as the first identifier in a constraint declaration to define what must hold true in any feasible solution. The following is an example of a constraint that uses the ELEMENT predicate: 

var X integer, Y integer;
con ElementConstraintExample:   element(X, 1 2 3 4, Y);

The following predicates are available in PROC OPTMODEL: