dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / alldifferent_except_0.mzn
at develop 473 B view raw
1include "fzn_alldifferent_except_0.mzn"; 2include "fzn_alldifferent_except_0_reif.mzn"; 3 4/** @group globals.alldifferent 5 Constrain the array of integers \a vs to be all different except those 6 elements that are assigned the value 0. 7*/ 8predicate alldifferent_except_0(array[$X] of var int: vs) = 9 fzn_alldifferent_except_0(array1d(vs)); 10 11predicate alldifferent_except_0_reif(array[$X] of var int: vs, var bool: b) = 12 fzn_alldifferent_except_0_reif(array1d(vs),b);