mzn-rewriting/nonogram/dom_06.dzn at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / mzn-rewriting / nonogram / dom_06.dzn

at develop 556 B view raw

 1X = 13;
 2Y = 13;
 3maxlen = 5;
 4rows = 	[|1, 1, 1, -1, -1
 5	 |1, -1, -1, -1, -1
 6	 |1, 1, 1, 0, 1
 7	 |1, -1, -1, -1, -1
 8	 |1, 1, 1, 0, 1
 9	 |1, -1, -1, -1, -1
10	 |1, 1, 1, 0, 1
11	 |1, -1, -1, -1, -1
12	 |1, 1, 1, 0, 1
13	 |1, -1, -1, -1, -1
14	 |1, 1, 1, 0, 1
15	 |1, -1, -1, -1, -1
16	 |1, -1, -1, -1, -1
17	 |];
18cols = 	[|1, -1, -1, -1, -1
19	 |1, -1, -1, -1, -1
20	 |1, 0, 1, 1, 1
21	 |1, -1, -1, -1, -1
22	 |1, 0, 1, 1, 1
23	 |1, -1, -1, -1, -1
24	 |1, 0, 1, 1, 1
25	 |1, -1, -1, -1, -1
26	 |1, 0, 1, 1, 1
27	 |1, -1, -1, -1, -1
28	 |1, 0, 1, 1, 1
29	 |1, -1, -1, -1, -1
30	 |1, 1, 1, -1, -1
31	 |];