% nonogram_simple.dzn
% simple test
%   _ X _ _
%   X _ X X
%   _ X X _
%   X _ X X
%   X _ _ _
% 
%% ROW RULES
row_max = 5;
row_states = array2d(1..row_total_states, 1..2, [
% pattern 0,1,
%
1,2,
2,0,

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

% pattern 0,2,
%
1,2,
0,3,
3,0,

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

% pattern 0,1
%
1,2,
2,0,

]);

row_max_state = 5;
row_total_states = 17;
row_num_patterns = 5;

row_num_states = [2,5,3,5,2]; % this is also the final state
row_start_where = [1,3,8,11,16];


% COL_RULES:

col_max = 4;

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

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

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

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

]);

col_num_patterns = 4;
col_max_state = 5;
col_total_states = 17;

col_num_states = [5,4,4,4]; % this is also the final state
col_start_where = [1,6,10,14];