software/mza/share/minizinc/std/fzn_count_eq.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / share / minizinc / std / fzn_count_eq.mzn

at develop 212 B view raw

1predicate fzn_count_eq(array[int] of var int: x, var int: y, var int: c) =
2    c = sum(i in index_set(x)) ( bool2int(x[i] == y) );
3
4%-----------------------------------------------------------------------------%