### 3.7.50. Conditional constraint

A constraint that allows for expressing that some constraints can be enforced during the enumeration phase.