%% ECLiPSe
%% http://eclipse.crosscoreop.com/eclipse/examples/nono.ecl.txt
%% Problem n3 ( http://www.pro.or.jp/~fuji/java/puzzle/nonogram/index-eng.html )
%%
%% fztini: 1.5 sec
%% fz: ??
%% lazy: 2 sec
%% ROW RULES
row_max = 10;
row_states = array2d(1..row_total_states, 1..2, [
% pattern 0,0,0,4,
% tmp: dummy 0 1 1 1 1
%
1,2,
0,3,
0,4,
0,5,
5,0,

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

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

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

% pattern 0,0,4,9,
% tmp: dummy 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1
%
1,2,
0,3,
0,4,
0,5,
6,0,
6,7,
0,8,
0,9,
0,10,
0,11,
0,12,
0,13,
0,14,
0,15,
15,0,

% pattern 0,0,1,1,
% tmp: dummy 0 1 0 1
%
1,2,
3,0,
3,4,
4,0,

% pattern 0,0,1,1,
% tmp: dummy 0 1 0 1
%
1,2,
3,0,
3,4,
4,0,

% pattern 0,2,7,2,
% tmp: dummy 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0
%
1,2,
0,3,
4,0,
4,5,
0,6,
0,7,
0,8,
0,9,
0,10,
0,11,
12,0,
12,13,
0,14,
14,0,

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

% pattern 0,0,2,2
% tmp: dummy 0 1 1 0 1 1
%
1,2,
0,3,
4,0,
4,5,
0,6,
6,0,

]);

row_max_state = 15;
row_total_states = 89;
row_num_patterns = 10;

row_num_states = [5,11,11,11,15,4,4,14,8,6]; % this is also the final state
row_start_where = [1,6,17,28,39,54,58,62,76,84];


% COL_RULES:

col_max = 15;

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

% pattern 1,2,
% tmp: dummy 0 1 0 1 1
1,2,
3,0,
3,4,
0,5,
5,0,

% pattern 1,1,
% tmp: dummy 0 1 0 1
1,2,
3,0,
3,4,
4,0,

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

% pattern 1,2,
% tmp: dummy 0 1 0 1 1
1,2,
3,0,
3,4,
0,5,
5,0,

% pattern 1,1,
% tmp: dummy 0 1 0 1
1,2,
3,0,
3,4,
4,0,

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

% pattern 1,1,
% tmp: dummy 0 1 0 1
1,2,
3,0,
3,4,
4,0,

% pattern 4,1,
% tmp: dummy 0 1 1 1 1 0 1
1,2,
0,3,
0,4,
0,5,
6,0,
6,7,
7,0,

% pattern 4,1,
% tmp: dummy 0 1 1 1 1 0 1
1,2,
0,3,
0,4,
0,5,
6,0,
6,7,
7,0,

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

% pattern 4,1,
% tmp: dummy 0 1 1 1 1 0 1
1,2,
0,3,
0,4,
0,5,
6,0,
6,7,
7,0,

% pattern 4,1,
% tmp: dummy 0 1 1 1 1 0 1
1,2,
0,3,
0,4,
0,5,
6,0,
6,7,
7,0,

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

% pattern 0,4
% tmp: dummy 0 1 1 1 1
1,2,
0,3,
0,4,
0,5,
5,0,

]);

col_num_patterns = 15;
col_max_state = 8;
col_total_states = 92;

col_num_states = [5,5,4,8,5,4,8,4,7,7,8,7,7,8,5]; % this is also the final state
col_start_where = [1,6,11,15,23,28,32,40,44,51,58,66,73,80,88];