### 3.7.48. Conditional constraint

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