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