Models for Global Constraint Applications - Cork Constraint ...

Here three of the four parameters for each 2-D object are variables, the height
of each object is set to 1.
We add projections of the machine assignment on both time and machine
axis in order to improve propagation and add two cumulative [2] constraints.
Recall that the cumulative constraint states that
is equaivalent to
and
cumulative({〈si, di, ri〉|i ∈ I},End,Limit) (24)
max
t∈[mini∈I(si),maxi∈I(si+di)−1] (
End = max
i∈I (si + di) (25)
i∈I,si≤t,t