Reducing Constraints

Constraints can sometimes be reduced into several smaller constraints.

Functions

irreducible_components(constraint)

Determine the sets of variables that are irreducible.