34.3 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