10.10.4 Available Constraints

This section describes constraints that can be used with this solver, organized into classes. Unless documented otherwise, constraints are not reifiable and don’t guarantee any particular level of consistency. Whenever a domain variable is required in the argument of a constraint, a small integer can be given instead.

Send feedback on this subject.