Reducing Constraints#

Constraints can sometimes be reduced into several smaller constraints.

Functions#

irreducible_components(constraint)

Determine the sets of variables that are irreducible.