dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / member_set.mzn
at develop 380 B view raw
1include "fzn_member_set.mzn"; 2include "fzn_member_set_reif.mzn"; 3 4%-----------------------------------------------------------------------------% 5% Requires that 'y' occurs in the array or set 'x'. 6%-----------------------------------------------------------------------------% 7 8predicate member_set(array[int] of var set of int: x, var set of int: y) = 9 fzn_member_set(x, y);