this repo has no description
dekker.one
1include "count.mzn";
2
3predicate fzn_global_cardinality_reif(array[int] of var int: x,
4 array[int] of int: cover,
5 array[int] of var int: counts,
6 var bool: b) =
7 b <-> (
8 forall(i in index_set(cover))( count(x, cover[i], counts[i]) )
9 /\
10 % Implied constraint
11 length(x) >= sum(counts)
12 );