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