fzn_count_lt_par.mzn

include "count_fn.mzn";

predicate fzn_count_lt_par(array[int] of var int: x, int: y, int: c) =
    count(x,y) > c;

%-----------------------------------------------------------------------------%