• $\mathrm{𝚊𝚖𝚘𝚗𝚐}$ ($+$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚜𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚍𝚒𝚏𝚏}\_\mathtt{0}$ ($+$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$ ($+$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $\mathrm{𝚒𝚍}$),

• $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚕𝚘𝚠}\_\mathrm{𝚞𝚙}$ ($+$, $+$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚜𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$ ($+$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $\mathrm{𝚒𝚍}$),

• $\mathrm{𝚊𝚖𝚘𝚗𝚐}\_\mathrm{𝚟𝚊𝚛}$ ($+$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚊𝚗𝚍}$ ($\wedge$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚌𝚘𝚞𝚗𝚝}$ ($\mathrm{𝚒𝚍}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $+$) when $\mathrm{𝚁𝙴𝙻𝙾𝙿}\in [<,\le ,\ge ,>]$,

• $\mathrm{𝚌𝚘𝚞𝚗𝚝𝚜}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗𝚜}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $+$) when $\mathrm{𝚁𝙴𝙻𝙾𝙿}\in [<,\le ,\ge ,>]$,

• $\mathrm{𝚍𝚒𝚜𝚌𝚛𝚎𝚙𝚊𝚗𝚌𝚢}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $+$),

• $\mathrm{𝚎𝚡𝚊𝚌𝚝𝚕𝚢}$ ($+$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$),

• $\mathrm{𝚒𝚗𝚝}\_\mathrm{𝚟𝚊𝚕𝚞𝚎}\_\mathrm{𝚙𝚛𝚎𝚌𝚎𝚍𝚎}$ ($\mathrm{𝚒𝚍}$, $\mathrm{𝚒𝚍}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚒𝚗𝚝}\_\mathrm{𝚟𝚊𝚕𝚞𝚎}\_\mathrm{𝚙𝚛𝚎𝚌𝚎𝚍𝚎}\_\mathrm{𝚌𝚑𝚊𝚒𝚗}$ ($\mathrm{𝚒𝚍}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚖𝚊𝚡𝚒𝚖𝚞𝚖}$ ($max$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}$ ($min$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}\_\mathrm{𝚐𝚛𝚎𝚊𝚝𝚎𝚛}\_\mathrm{𝚝𝚑𝚊𝚗}$ ($min$, $\mathrm{𝚒𝚍}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚗𝚊𝚗𝚍}$ ($\vee$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚗𝚘𝚛}$ ($\wedge$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚘𝚛}$ ($\vee$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚙𝚛𝚘𝚍𝚞𝚌𝚝}\_\mathrm{𝚌𝚝𝚛}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $*$) when $\mathrm{𝙲𝚃𝚁}\in [=]$,

• $\mathrm{𝚜𝚊𝚖𝚎}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$),

• $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$),

• $\mathrm{𝚜𝚊𝚖𝚎}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$),

• $\mathrm{𝚜𝚌𝚊𝚕𝚊𝚛}\_\mathrm{𝚙𝚛𝚘𝚍𝚞𝚌𝚝}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $+$),

• $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚌𝚝𝚛}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $+$),

• $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚌𝚞𝚋𝚎𝚜}\_\mathrm{𝚌𝚝𝚛}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $+$),

• $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚙𝚘𝚠𝚎𝚛𝚜}\mathtt{4}\_\mathrm{𝚌𝚝𝚛}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $+$),

• $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚙𝚘𝚠𝚎𝚛𝚜}\mathtt{5}\_\mathrm{𝚌𝚝𝚛}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $+$),

• $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚙𝚘𝚠𝚎𝚛𝚜}\mathtt{6}\_\mathrm{𝚌𝚝𝚛}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $+$),

• $\mathrm{𝚜𝚞𝚖}\_\mathrm{𝚜𝚚𝚞𝚊𝚛𝚎𝚜}\_\mathrm{𝚌𝚝𝚛}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$, $+$),

• $\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$),

• $\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$),

• $\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$),

• $\mathrm{𝚞𝚜𝚎𝚍}\_\mathrm{𝚋𝚢}\_\mathrm{𝚙𝚊𝚛𝚝𝚒𝚝𝚒𝚘𝚗}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚒𝚍}$),

• $\mathrm{𝚞𝚜𝚎𝚜}$ ($\mathrm{𝚞𝚗𝚒𝚘𝚗}$, $\mathrm{𝚞𝚗𝚒𝚘𝚗}$).

Denotes that, given two instances of a constraint, we can combine (i.e., aggregate) these two instances in order to obtain a third constraint, which has the same name as the first two constraints. The first two constraints are called the source constraints, while the implied constraint is called the target constraint. The $i^{\mathrm{𝑡ℎ}}$ argument of the target constraint is obtained by combining the $i^{\mathrm{𝑡ℎ}}$ arguments of the two source constraints. This is specified for each argument by one of the following options.

• $\mathrm{𝚒𝚍}$: check that the corresponding arguments of the two source constraints are identical and take it as the argument of the target constraint; this option if often used for specifying that an argument corresponding to a parameter has to be the same in the two source constraints, as well as in the target constraint (i.e., the source and the target constraints share the same parameter).

• $+$: add the corresponding arguments of the two source constraints.

• $*$: multiply the corresponding arguments of the two source constraints.

• $\wedge$: make an and between the corresponding 0-1 arguments of the two source constraints.

• $\vee$: make an or between the corresponding 0-1 arguments of the two source constraints.

• $min$: take the minimum of the corresponding arguments of the two source constraints.

• $max$: take the maximum of the corresponding arguments of the two source constraints.

• $\mathrm{𝚞𝚗𝚒𝚘𝚗}$: take the union, without removing duplicates, of the collections items of the corresponding arguments of the two source constraints.

• $\mathrm{𝚜𝚞𝚗𝚒𝚘𝚗}$: take the union, and remove duplicates, of the collections items of the corresponding arguments of the two source constraints, where collections correspond to collection of ground values (i.e., parameters).

Finally, the aggregation may me be conditioned by a list of restrictions, each restriction corresponding to one of the restrictions described in Section 2.2.3. We call this conditional aggregation.

Most constraints for which aggregation applies correspond to constraints where one of the arguments is functionally determined by the other arguments. This is for instance the case for the $\mathrm{𝚖𝚊𝚡𝚒𝚖𝚞𝚖}$$(\mathrm{𝙼𝙰𝚇},\mathrm{𝚅𝙰𝚁𝙸𝙰𝙱𝙻𝙴𝚂})$ constraint which forces $\mathrm{𝙼𝙰𝚇}$ to be equal to the maximum value assigned to the variables of $\mathrm{𝚅𝙰𝚁𝙸𝙰𝙱𝙻𝙴𝚂}$. However some constraints, like the $\mathrm{𝚜𝚊𝚖𝚎}$ constraint, for which aggregation applies, do not have any argument that is functionally determined by the other arguments.

We now present three examples of deductions that can be obtained by aggregating two source constraints.

• $\mathrm{𝚊𝚖𝚘𝚗𝚐}$$(1,\langle 4,5,5,4,1\rangle ,\langle 0,1\rangle )\wedge$ $\mathrm{𝚊𝚖𝚘𝚗𝚐}$$(3,\langle 1,1,9,0\rangle ,\langle 0,1\rangle )\Rightarrow$ $\mathrm{𝚊𝚖𝚘𝚗𝚐}$$(4,\langle 4,5,5,4,1,1,1,9,0\rangle ,\langle 0,1\rangle )$, where:

  1. The first argument of the target constraint, i.e., 4, is equal to the sum of the first arguments of the two source constraints, i.e., $1+3$.

  2. The second argument of the target constraint, $\langle 4,5,5,4,1,1,1,9,0\rangle$, is equal to the union (without removing duplicates) of the second arguments $\langle 4,5,5,4,1\rangle$ and $\langle 1,1,9,0\rangle$ of the two source constraints.

  3. The third arguments of the two source constraints are identical, i.e., $\langle 0,1\rangle$, and the third argument of the target constraint.

• $\mathrm{𝚖𝚊𝚡𝚒𝚖𝚞𝚖}$$(5,\langle 3,0,5,2,5\rangle )\wedge$ $\mathrm{𝚖𝚊𝚡𝚒𝚖𝚞𝚖}$$(9,\langle 1,1,9,0\rangle )\Rightarrow$ $\mathrm{𝚖𝚊𝚡𝚒𝚖𝚞𝚖}$$(9,\langle 3,0,5,2,5,1,1,9,0\rangle )$, where:

  1. The first argument of the target constraint, i.e., 9, is equal to the maximum value of the first arguments of the two source constraints, i.e., $max(5,9)$.

  2. The second argument of the target constraint, $\langle 3,0,5,2,5,1,1,9,0\rangle$, is equal to the union (without removing duplicates) of the second arguments $\langle 3,0,5,2,5\rangle$ and $\langle 1,1,9,0\rangle$ of the two source constraints.

• $\mathrm{𝚜𝚊𝚖𝚎}$$(\langle 3,3,1\rangle ,\langle 3,1,3\rangle )\wedge$ $\mathrm{𝚜𝚊𝚖𝚎}$$(\langle 1,9,1,5,5\rangle ,\langle 5,5,1,1,9\rangle )\Rightarrow$ $\mathrm{𝚜𝚊𝚖𝚎}$$(\langle 3,3,1,1,9,1,5,5\rangle ,\langle 3,1,3,5,5,1,1,9\rangle )$, where:

  1. The first argument of the target constraint, $\langle 3,3,1,1,9,1,5,5\rangle$, is equal to the union (without removing duplicates) of the first arguments $\langle 3,3,1\rangle$ and $\langle 1,9,1,5,5\rangle$ of the two source constraints.

  2. The second argument of the target constraint, $\langle 3,1,3,5,5,1,1,9\rangle$, is equal to the union (without removing duplicates) of the second arguments $\langle 3,1,3\rangle$ and $\langle 5,5,1,1,9\rangle$ of the two source constraints.