%
% Filename: graceful.mzn
% minizinc -a --soln-sep "" --search-complete-msg "" -D"n=8;" graceful.mzn | awk 'NF' | sort
%
% see also http://www.minizinc.org
%

include "globals.mzn";

int: n;

array[1..n] of var 1..n: x;
array[1..n-1] of var 1..n-1: y;

constraint alldifferent(x);
constraint forall([y[i] == abs(x[i+1]-x[i]) | i in 1..n-1]);
constraint alldifferent(y);

solve satisfy;

output [show(x[i]) ++ " " | i in 1..n];