% Converted from nonogram_hen.dzn
% https://prof.ti.bfh.ch/hew1/informatik3/prolog/p-99/p98.pl
% 'Hen'
% fztini: 0.5 sec
% Gecode/fz: 0.7 sec
% MiniZinc: 1 sec
problem_name(Name) => Name = nonogram_hen.
instance(nonogram_hen,RowRules,ColRules) => 
RowRules = 
[[3],
[2,1],
[3,2],
[2,2],
[6],
[1,5],
[6],
[1],
[2]
],
ColRules = 
[[1,2],
[3,1],
[1,5],
[7,1],
[5],
[3],
[4],
[3]
].