% Converted from nonogram_picross.dzn
%% From Choco sample Picross.java
%% fztini: 
% fz:
% minizinc:
% ECLiPSe/ic:
% lazy: 10 secs
problem_name(Name) => Name = nonogram_picross.
instance(nonogram_picross,RowRules,ColRules) => 
RowRules = 
[[3],
[5],
[3,1],
[2,1],
[3,3,4],
[2,2,7],
[6,1,1],
[4,2,2],
[1,1],
[3,1],
[6],
[2,7],
[6,3,1],
[1,2,2,1,1],
[4,1,1,3],
[4,2,2],
[3,3,1],
[3,3],
[3],
[2,1]
],
ColRules = 
[[2],
[1,2],
[2,3],
[2,3],
[3,1,1],
[2,1,1],
[1,1,1,2,2],
[1,1,3,1,3],
[2,6,4],
[3,3,9,1],
[5,3,2],
[3,1,2,2],
[2,1,7],
[3,3,2],
[2,4],
[2,1,2],
[2,2,1],
[2,2],
[1],
[1]
].