mzn-byte-benchmarks/flatten/nonogram/non_micro.dzn

X = 5;
Y = 5;
maxlen = 3;
rows = 	[|1, 1, 1
	 |1, 0, 1
	 |1, 0, 1
	 |1, 0, 1
	 |1, 1, 1
	 |];
cols = 	[|1, 1, 1
	 |1, 0, 1
	 |1, 0, 1
	 |1, 0, 1
	 |1, 1, 1
	 |];