The CLP Procedure

PROC CLP options;

ACTIVITY activity specifications;

ALLDIFF alldiff constraints;

ARRAY array specifications;

ELEMENT element constraints;

FOREACH foreach constraints;

GCC global cardinality constraints;

LEXICO lexicographic ordering constraints;

LINCON linear constraints;

OBJ objective function options;

PACK bin packing constraints;

REIFY reify constraints;

REQUIRES resource requirement constraints;

RESOURCE resource specifications;

SCHEDULE schedule options;

VARIABLE variable specifications;