# données du sudoku
param n_fix:=31; # nombre de cases fixées
# T contient les cases de la grille dans lesquelles on a déjà mis un  chifre de 1 à 9
# par ligne, on a i j k avec i=n° ligne, j=n° colonne, k=nombre dans la case i,j
param T: 1 2 3 :=
1  1 2 9
2  1 4 5
3  1 6 2
4  1 8 8
5  2 2 2
6  2 8 4
7  3 4 9
8  3 6 8
9  4 3 7
10 4 4 6
11 4 5 5 
12 4 6 1
13 4 7 9
14 5 1 3
15 5 5 7
16 5 9 6
17 6 1 9
18 6 9 8
19 7 2 7
20 7 3 3
21 7 7 1
22 7 8 9
23 8 3 9
24 8 4 1
25 8 6 4
26 8 7 8
27 9 1 1
28 9 4 7
29 9 5 9
30 9 6 6
31 9 9 3
;