dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / chi / examples / lightup.dzn
at develop 215 B view raw
1h = 7; 2w = 7; 3b = [| -1,-1,-1,-1, 0,-1,-1 4 | -1,-1,-1,-1,-1,-1,-1 5 | 0,-1,-1, 3,-1,-1,-1 6 | -1,-1, 2,-1, 4,-1,-1 7 | -1,-1,-1, 5,-1,-1, 1 8 | -1,-1,-1,-1,-1,-1,-1 9 | 1,-1, 2,-1,-1,-1,-1 |];