% Converted from nonogram_crocodile.dzn
%% Nonogram problem from Gecode: "Unknown"
%% http://www.gecode.org/gecode-doc-latest/classNonogram.html
%%
problem_name(Name) => Name = nonogram_crocodile.
instance(nonogram_crocodile,RowRules,ColRules) => 
RowRules = 
[[3],
[2,3,2],
[10,3],
[15],
[1,1,1,1,6],
[1,7],
[1,4],
[1,4],
[4]
],
ColRules = 
[[3],
[4],
[2,2],
[3,1],
[2,3],
[3,2],
[2,3],
[4,2],
[3,2],
[6],
[1,3],
[1,3],
[1,4],
[5],
[5]
].