dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / partition_set.mzn
at develop 301 B view raw
1include "fzn_partition_set.mzn"; 2include "fzn_partition_set_reif.mzn"; 3 4/** @group globals 5 Constrains the sets in array \a S to partition the \a universe. 6*/ 7predicate partition_set(array[int] of var set of int: S, 8 set of int: universe) = 9 fzn_partition_set(S, universe);