dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / chi / examples / sudoku.dzn
at develop 259 B view raw
1S=3; 2start=[| 30, 0, 0, 0, 0, 0, 0, 0, 0| 40, 6, 8, 4, 0, 1, 0, 7, 0| 50, 0, 0, 0, 8, 5, 0, 3, 0| 60, 2, 6, 8, 0, 9, 0, 4, 0| 70, 0, 7, 0, 0, 0, 9, 0, 0| 80, 5, 0, 1, 0, 6, 3, 2, 0| 90, 4, 0, 6, 1, 0, 0, 0, 0| 100, 3, 0, 2, 0, 7, 6, 9, 0| 110, 0, 0, 0, 0, 0, 0, 0, 0|];