### 3.7.269. Value precedence

A constraint that allows for expressing symmetries between values that are assigned to variables.