dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / all_different_set.mzn
at develop 508 B view raw
1include "fzn_all_different_set.mzn"; 2include "fzn_all_different_set_reif.mzn"; 3 4%-----------------------------------------------------------------------------% 5% Constrains the array of objects 'x' to be all different. 6%-----------------------------------------------------------------------------% 7 8predicate all_different_set(array[int] of var set of int: x) = 9 fzn_all_different_set(x); 10 11predicate all_different_set(array[int] of var set of int: x, var bool: b) = 12 fzn_all_different_set_reif(x, b);