param n_lign:=10; # nbre lignes de la grille
param n_col:=10; # nbre colonnes
param n_bloc_max:=4; # 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  4:=
1                6  0  0  0  
2                1  1  0  0
3                1  1  0  0
4                1  2  2  1
5                1  1  0  0
6                1  2  1  0
7                1  1  1  1
8                1  4  1  0
9                1  1  0  0
10               6  0  0  0
;
# nbre cases du bloc k (en col.) dans la colonne j
param bloc_col: 1  2  3  4:=
1               6  0  0  0
2               1  1  0  0
3               1  1  1  1
4               1  1  1  1
5               1  1  1  1
6               1  1  1  1
7               1  1  1  1
8               1  1  1  1
9               1  1  0  0
10              6  0  0  0
;