dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / geas / fzn_disjunctive.mzn
at develop 377 B view raw
1%predicate geas_disjunctive_var(array[int] of var int: s, 2% array[int] of var int: d); 3predicate geas_disjunctive(array[int] of var int: s, 4 array[int] of int: d); 5 6%predicate disjunctive(array[int] of var int: s, array[int] of var int: d) = 7% geas_disjunctive_var(s, d); 8predicate fzn_disjunctive(array[int] of var int: s, array[int] of int: d) = 9 geas_disjunctive(s, d);