dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / en / examples / disjunctive.mzn
at develop 304 B view raw
1include "cumulative.mzn"; 2 3predicate disjunctive(array[int] of var int:s, array[int] of int:d) = 4 assert(index_set(s) == index_set(d), "disjunctive: " ++ 5 "first and second arguments must have the same index set", 6 cumulative(s, d, [ 1 | i in index_set(s) ], 1) 7 );