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

this repo has no description

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

at develop 284 B view raw

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