dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / fzn_int_set_channel.mzn
at develop 389 B view raw
1predicate fzn_int_set_channel(array[int] of var int: x, 2 array[int] of var set of int: y) = 3 forall(i in index_set(x)) (x[i] in index_set(y)) /\ 4 forall(j in index_set(y)) (y[j] subset index_set(x)) /\ 5 forall(i in index_set(x), j in index_set(y)) (x[i] = j <-> i in y[j]); 6 7%-----------------------------------------------------------------------------%