dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / count_fn.mzn
at develop 249 B view raw
1include "count.mzn"; 2 3/** @group globals.counting 4 Returns the number of occurrences of \a y in \a x. 5*/ 6function var int: count(array[int] of var int: x, var int: y) ::promise_total = 7 let { var 0..length(x): c; constraint count(x,y,c); } in c;