Node:Available Constraints, Next:Enumeration Predicates, Previous:CLPFD Interface, Up:CLPFD
This section describes the classes of constraints that can be used with this solver.