%% Nonogram problem from Gecode: "Unknown"
%% http://www.gecode.org/gecode-doc-latest/classNonogram.html
%%
rows = 9;
row_rule_len = 5;
row_rules = array2d(1..rows, 1..row_rule_len, 
 [
  0, 0, 0, 0, 3,
  0, 0, 2, 3, 2,
  0, 0, 0, 10, 3,
  0, 0, 0, 0, 15,
  1, 1, 1, 1, 6,
  0, 0, 0, 1, 7,
  0, 0, 0, 1, 4,
  0, 0, 0, 1, 4,
  0, 0, 0, 0, 4
  ]);

cols = 15;
col_rule_len = 2;
col_rules = array2d(1..cols, 1..col_rule_len, 
 [
  0, 3,
  0, 4,
  2, 2,
  3, 1,
  2, 3,
  3, 2,
  2, 3,
  4, 2,
  3, 2,
  0, 6,
  1, 3,
  1, 3,
  1, 4,
  0, 5,
  0, 5
]);