% http://www.ida.liu.se/~TDDB80/lisp/projekt/Projektkatalog/Nonogram/
%%
%% Gecode/fz: 2 sec
%% flatzinc: 1.6
%% fztini: 2 sec
%% ROW RULES
row_max = 10;
row_states = array2d(1..row_total_states, 1..2, [
% pattern 0,0,4,
%
1,2,
0,3,
0,4,
0,5,
5,0,

% pattern 0,0,6,
%
1,2,
0,3,
0,4,
0,5,
0,6,
0,7,
7,0,

% pattern 2,2,2,
%
1,2,
0,3,
4,0,
4,5,
0,6,
7,0,
7,8,
0,9,
9,0,

% pattern 2,2,2,
%
1,2,
0,3,
4,0,
4,5,
0,6,
7,0,
7,8,
0,9,
9,0,

% pattern 0,0,10,
%
1,2,
0,3,
0,4,
0,5,
0,6,
0,7,
0,8,
0,9,
0,10,
0,11,
11,0,

% pattern 0,0,10,
%
1,2,
0,3,
0,4,
0,5,
0,6,
0,7,
0,8,
0,9,
0,10,
0,11,
11,0,

% pattern 2,2,2,
%
1,2,
0,3,
4,0,
4,5,
0,6,
7,0,
7,8,
0,9,
9,0,

% pattern 0,3,3,
%
1,2,
0,3,
0,4,
5,0,
5,6,
0,7,
0,8,
8,0,

% pattern 0,0,6,
%
1,2,
0,3,
0,4,
0,5,
0,6,
0,7,
7,0,

% pattern 0,0,4
%
1,2,
0,3,
0,4,
0,5,
5,0,

]);

row_max_state = 11;
row_total_states = 81;
row_num_patterns = 10;

row_num_states = [5,7,9,9,11,11,9,8,7,5]; % this is also the final state
row_start_where = [1,6,13,22,31,42,53,62,70,77];


% COL_RULES:

col_max = 10;

col_states = array2d(1..col_total_states, 1..2, [
% pattern 0,0,4,
1,2,
0,3,
0,4,
0,5,
5,0,

% pattern 0,0,6,
1,2,
0,3,
0,4,
0,5,
0,6,
0,7,
7,0,

% pattern 2,2,2,
1,2,
0,3,
4,0,
4,5,
0,6,
7,0,
7,8,
0,9,
9,0,

% pattern 2,2,3,
1,2,
0,3,
4,0,
4,5,
0,6,
7,0,
7,8,
0,9,
0,10,
10,0,

% pattern 0,7,2,
1,2,
0,3,
0,4,
0,5,
0,6,
0,7,
0,8,
9,0,
9,10,
0,11,
11,0,

% pattern 0,7,2,
1,2,
0,3,
0,4,
0,5,
0,6,
0,7,
0,8,
9,0,
9,10,
0,11,
11,0,

% pattern 2,2,3,
1,2,
0,3,
4,0,
4,5,
0,6,
7,0,
7,8,
0,9,
0,10,
10,0,

% pattern 2,2,2,
1,2,
0,3,
4,0,
4,5,
0,6,
7,0,
7,8,
0,9,
9,0,

% pattern 0,0,6,
1,2,
0,3,
0,4,
0,5,
0,6,
0,7,
7,0,

% pattern 0,0,4
1,2,
0,3,
0,4,
0,5,
5,0,

]);

col_num_patterns = 10;
col_max_state = 11;
col_total_states = 84;

col_num_states = [5,7,9,10,11,11,10,9,7,5]; % this is also the final state
col_start_where = [1,6,13,22,32,43,54,64,73,80];