%% http://www.puzzlemuseum.com/griddler/griddler.htm
%% (as Griddlers)
%% ECLiPSe/ic: 2.3 sec
%% fztini: 1.1 sec
%% minizinc: 1.4 sec
%% Gecode/fz: 1 sec 
%% ROW RULES
row_max = 10;
row_states = array2d(1..row_total_states, 1..2, [
% pattern 0,0,5,
%
1,2,
0,3,
0,4,
0,5,
0,6,
6,0,

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

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

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

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

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

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

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

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

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

]);

row_max_state = 7;
row_total_states = 51;
row_num_patterns = 10;

row_num_states = [6,6,6,2,6,7,2,6,4,6]; % this is also the final state
row_start_where = [1,7,13,19,21,27,34,36,42,46];


% COL_RULES:

col_max = 7;

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

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

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

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

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

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

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

]);

col_num_patterns = 7;
col_max_state = 11;
col_total_states = 53;

col_num_states = [2,11,8,9,8,11,4]; % this is also the final state
col_start_where = [1,3,14,22,31,39,50];