dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / fzn_all_disjoint.mzn
at develop 165 B view raw
1include "fzn_disjoint.mzn"; 2 3predicate fzn_all_disjoint(array[int] of var set of int: S) = 4 forall(i,j in index_set(S) where i < j) ( fzn_disjoint(S[i], S[j]) );