### 3.7.88. Dual model

A constraint that can be used as a channelling constraint in a problem where the roles of the variables and the values can be interchanged. This is for instance the case when we have a bijection between a set of variables and the values they can take.