this repo has no description
dekker.one
1predicate fzn_global_cardinality(array[int] of var int: x,
2 array[int] of int: cover,
3 array[int] of int: count) =
4 geas_global_cardinality(x, cover, count);
5
6predicate fzn_global_cardinality(array[int] of var int: x,
7 array[int] of int: cover,
8 array[int] of var int: count) =
9 forall (i in index_set(cover)) (
10 count[i] = sum (j in index_set(x)) (bool2int(x[j] = cover[i]))
11 );
12
13predicate geas_global_cardinality(array[int] of var int: x,
14 array[int] of int: cover,
15 array[int] of int: count);