all_different_int.mzn

predicate all_different_int(array[int] of var int: x);