2.5.13. Part of system of constraints

Denotes the fact that a constraint C π‘’π‘›π‘‘π‘Ÿπ‘¦ is a conjunction of constraints C π‘Žπ‘™π‘ π‘œ (i.e.,Β see the keyword system of constraints).

EXAMPLE: As an example, the constraint C π‘Žπ‘™π‘ π‘œ = πš—πšŽπšš (i.e.,Β prevent two variables to be assigned the same value) can be used to reformulate the constraint C π‘’π‘›π‘‘π‘Ÿπ‘¦ = πšŠπš•πš•πšπš’πšπšπšŽπš›πšŽπš—πš (i.e.,Β enforce a set of variables to take distinct values) as a conjunction of πš—πšŽπšš constraints.