% http://www.cs.mu.oz.au/433/tenpenki.html
% tenpenki
% tini: 0.7 sec
% minizinc: 3.9 sec
% fz: 3 sec for first solution, 30 sec for proving that it was the 
%     only solution
% ECLiPSe/ic: solution after 30 sec, then 1 minute.
% lazy: 0.5 seconds
% 
rows = 10;
row_rule_len = 2;
row_rules = array2d(1..rows, 1..row_rule_len,
    [0,2,
     1,1,
     1,4,
     1,3,
     1,4,
     0,8,
     0,7,
     0,6,
     0,4,
     0,2]);

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