2.6.14. Part of system of constraints

Denotes 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.