this repo has no description
dekker.one
1include "fzn_global_cardinality.mzn";
2include "fzn_global_cardinality_reif.mzn";
3
4/** @group globals.counting
5 Requires that the number of occurrences of \a cover[\p i] in \a x is \a counts[\p i].
6*/
7predicate global_cardinality(array[int] of var int: x,
8 array[int] of int: cover,
9 array[int] of var int: counts) =
10 assert(index_set(cover) = index_set(counts),
11 "global_cardinality: cover and counts must have identical index sets",
12 fzn_global_cardinality(x, cover, counts)
13 );