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