%
% SEND + MORE = MONEY
%
array[1..8] of var int : all = [S,E,N,D,M,O,R,Y];
constraint all_different(all);

%
% N Reines
%
int: N = 8;
% colonnes ou sont placées les reines
array[1..N] of var 1..N: queens;

constraint alldifferent(queens);
% diagonales gauches et droites
constraint alldifferent([ queens[i] + i | i in 1..N]); 
constraint alldifferent([ queens[i] - i | i in 1..N]);