10.34.3 Available Constraints

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


In case of variable aliasing, i.e. if a variable occurs more than once in a global constraint that is being posted, or due to a subsequent variable-variable unification, any guarantee to maintain arc-consistency no longer holds.

Send feedback on this subject.