dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / nonogram / non_micro.dzn
at develop 162 B view raw
1X = 5; 2Y = 5; 3maxlen = 3; 4rows = [|1, 1, 1 5 |1, 0, 1 6 |1, 0, 1 7 |1, 0, 1 8 |1, 1, 1 9 |]; 10cols = [|1, 1, 1 11 |1, 0, 1 12 |1, 0, 1 13 |1, 0, 1 14 |1, 1, 1 15 |];