dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / es / examples / disjunctive_es.mzn
at develop 327 B view raw
1include "cumulative_es.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 "Los argumentos primero y segundo adeben tener el mismo conjunto de índices", 6 cumulative(s, d, [ 1 | i in index_set(s) ], 1) 7 );