%% 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 
rows = 10;
row_rule_len = 3;
row_rules = array2d(1..rows, 1..row_rule_len,
        [
         0,0,5,
         1,1,1,
         0,0,5,
         0,0,1,
         0,0,5,
         1,1,2,
         0,0,1,
         0,0,5,
         0,1,1,
         0,2,2,
        ]);

cols = 7;
col_rule_len = 4;
col_rules = array2d(1..cols, 1..col_rule_len,
     [
       0,0,0,1,
       0,3,2,3,
       1,1,1,1,
       0,0,0,8,
       1,1,1,1,
       0,3,2,3,
       0,0,1,1,
     ]);