10 lines
216 B
MiniZinc
10 lines
216 B
MiniZinc
|
int: n = 8; % The number of queens.
|
||
|
|
|
||
|
|
array [1..n] of var 1..n: q;
|
||
|
|
|
||
|
|
include "alldifferent.mzn";
|
||
|
|
|
||
|
|
constraint alldifferent(q);
|
||
|
|
constraint alldifferent(i in 1..n)(q[i] + i);
|
||
|
|
constraint alldifferent(i in 1..n)(q[i] - i);
|