2.5.20. System of constraints

Denotes the fact 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 enforces a 𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢 on each row and each column of .