Reducing Constraints

Constraints can sometimes be reduced into several smaller constraints.

Functions

irreducible_components(constraint) Determine the sets of variables that are irreducible.