% Converted from nonogram_n4.dzn
%% http://eclipse.crosscoreop.com/eclipse/examples/nono.ecl.txt
%% Problem n4
%% fz: < 1 sec
problem_name(Name) => Name = nonogram_n4.
instance(nonogram_n4,RowRules,ColRules) => 
RowRules = 
[[2,1],
[1],
[2],
[2],
[1],
[1,2]
],
ColRules = 
[[1,2],
[1],
[2],
[2],
[1],
[2,1]
].