dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / count.mzn
at develop 215 B view raw
1include "count_eq.mzn"; 2 3/** @group globals.counting 4 Constrains \a c to be the number of occurrences of \a y in \a x. 5*/ 6predicate count(array[int] of var int: x, var int: y, var int: c) = 7 count_eq(x, y, c);