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