Global Constraint Catalog

2.6.21. System of constraints

Denotes that a constraint $C_{𝑎𝑙𝑠𝑜}$ is a conjunction of constraints $C_{𝑒𝑛𝑡𝑟𝑦}$ (see the keyword system of constraints).

EXAMPLE: As an example, the constraint $C_{𝑎𝑙𝑠𝑜} =$ $𝚌𝚘𝚕𝚘𝚛𝚎𝚍_𝚖𝚊𝚝𝚛𝚒𝚡$ corresponds to a conjunction of constraints of the form $C_{𝑒𝑛𝑡𝑟𝑦} =$ $𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢$ : Given a matrix $ℳ$ of variables, the $𝚌𝚘𝚕𝚘𝚛𝚎𝚍_𝚖𝚊𝚝𝚛𝚒𝚡$ constraint forces a $𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢$ on each row and each column of $ℳ$ .