include "fzn_strict_lex2.mzn";
include "fzn_strict_lex2_reif.mzn";

/** @group globals.lexicographic
  Requires adjacent rows and adjacent columns in the array \a x to be
  lexicographically ordered.  Adjacent rows and adjacent columns cannot be equal.
*/
predicate strict_lex2(array[int, int] of var int: x) =
	fzn_strict_lex2(x);
