% Converted from nonogram_hard.dzn
%% Nonogram "hard"
%% Note: I don't remember where I found this. And it isn't very hard.
problem_name(Name) => Name = nonogram_hard.
instance(nonogram_hard,RowRules,ColRules) => 
RowRules = 
[[1],
[3],
[1,3],
[2,4],
[1,2],
[2,1,1],
[1,1,1,1],
[2,1,1],
[2,2],
[5]
],
ColRules = 
[[4],
[1,3],
[2,3],
[1,2],
[2,2],
[1,1,1],
[1,1,1,1],
[1,1,1],
[1,2],
[5]
].