% http://www.ida.liu.se/~TDDB80/lisp/projekt/Projektkatalog/Nonogram/ %% %% Gecode/fz: 2 sec %% flatzinc: 1.6 %% fztini: 2 sec rows = 10; row_rule_len = 3; row_rules = array2d(1..rows, 1..row_rule_len, [ 0,0,4, 0,0,6, 2,2,2, 2,2,2, 0,0,10, 0,0,10, 2,2,2, 0,3,3, 0,0,6, 0,0,4]); cols = 10; col_rule_len = 3; col_rules = array2d(1..cols, 1..col_rule_len, [ 0,0,4, 0,0,6, 2,2,2, 2,2,3, 0,7,2, 0,7,2, 2,2,3, 2,2,2, 0,0,6, 0,0,4 ]);