dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / strict_lex2.mzn
at develop 331 B view raw
1include "fzn_strict_lex2.mzn"; 2include "fzn_strict_lex2_reif.mzn"; 3 4/** @group globals.lexicographic 5 Require adjacent rows and adjacent columns in the array \a x to be 6 lexicographically ordered. Adjacent rows and adjacent columns cannot be equal. 7*/ 8predicate strict_lex2(array[int, int] of var int: x) = 9 fzn_strict_lex2(x);