this repo has no description
dekker.one
1include "fzn_count_gt.mzn";
2include "count_fn.mzn";
3
4/** @group globals.counting
5 Constrains \a c to be strictly greater than the number of occurrences
6 of \a y in \a x.
7*/
8predicate count_gt(array[int] of var int: x, var int: y, var int: c) =
9 fzn_count_gt(x,y,c);
10
11predicate count_gt_reif(array[int] of var int: x, var int: y, var int: c, var bool: b) =
12 b <-> count(x,y) < c;
13
14%-----------------------------------------------------------------------------%