# données du sudoku
param n_fix:=29; # 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 1 8
2  1 4 5
3  1 8 4
4  2 3 4
5  2 4 8
6  2 5 2
7  2 7 5
8  2 8 6
9  3 6 7
10 3 7 1
11 4 1 4 
12 4 3 1
13 4 6 2
14 4 7 6
15 4 8 8
16 5 4 6
17 6 1 6
18 6 5 8
19 6 6 4
20 6 7 2
21 6 8 5
22 7 1 3
23 7 4 2
24 7 5 6
25 8 1 5
26 8 3 2
27 8 5 7
28 8 6 8
29 9 1 1
;