this repo has no description
dekker.one
1include "global_cardinality.mzn";
2
3predicate fzn_global_cardinality_closed_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(x))( x[i] in { d | d in cover } )
9 /\
10 global_cardinality(x, cover, counts)
11 );