param n_lign:=10; # nbre lignes de la grille
param n_col:=10; # nbre colonnes
param n_bloc_max:=3; # nbre max de blocs dans une ligne ou colonne
# nbre cases du bloc k (en col.) dans la ligne i
param bloc_lign: 1  2  3  :=
1                9  0  0    
2                1  4  1  
3                2  0  0  
4                0  0  0  
5                0  0  0
6                1  1  0  
7                2  2  0
8                3  3  0  
9                4  4  0  
10               10  0  0  
;
# nbre cases du bloc k (en col.) dans la colonne j
param bloc_col: 1  2  3  :=
1               1  5  0  
2               1  4  0  
3               1  3  0  
4               2  2  0  
5               3  1  0  
6               3  1  0  
7               2  2  0  
8               1  3  0  
9               1  4  0  
10              2  5  0  
;