include "cumulative.mzn"; predicate disjunctive(array[int] of var int:s, array[int] of int:d) = assert(index_set(s) == index_set(d), "disjunctive: " ++ "first and second arguments must have the same index set", cumulative(s, d, [ 1 | i in index_set(s) ], 1) );