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