%
% Filename: queen.mzn
% Usage:
% minizinc -a --soln-sep "" --search-complete-msg "" -D"n=8;" queen.mzn 2>/dev/null | 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] of var 1..n: y;

constraint inverse(x,y);
constraint forall([abs(x[i]-x[j]) != abs(i-j) | i, j in 1..n where i<j]);
constraint forall([abs(y[i]-y[j]) != abs(i-j) | i, j in 1..n where i<j]);

solve satisfy;

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