Node:Available Constraints, Next:Enumeration Predicates, Previous:CLPFD Interface, Up:CLPFD

Available Constraints

This section describes the classes of constraints that can be used with this solver.

• Arithmetic Constraints: Arithmetic Constraints
• Membership Constraints: Membership Constraints
• Propositional Constraints: Propositional Constraints
• Combinatorial Constraints: Combinatorial Constraints
• User-Defined Constraints: User-Defined Constraints