this repo has no description
dekker.one
1% Tamaño del cuadrado latino.
2int: n;
3array[1..n,1..n] of var 1..n: a;
4
5include "alldifferent.mzn";
6constraint forall(i in 1..n)(
7 alldifferent(j in 1..n)(a[i,j]) /\
8 alldifferent(j in 1..n)(a[j,i])
9 );
10solve satisfy;
11output [ show(a[i,j]) ++ if j == n then "\n" else " " endif |
12 i in 1..n, j in 1..n ];