software/mza/share/minizinc/std/fzn_partition_set.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / share / minizinc / std / fzn_partition_set.mzn

at develop 219 B view raw

1include "all_disjoint.mzn";
2
3predicate fzn_partition_set(array[int] of var set of int: S,
4                            set of int: universe) =
5    all_disjoint(S) /\ universe == array_union(i in index_set(S)) ( S[i] );
6