dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / sudoku /
at develop 6 files
sudoku.mzn
sudoku_1_16x16.dzn
sudoku_2_16x16.dzn
sudoku_3_16x16.dzn
sudoku_4_16x16.dzn
sudoku_5_16x16.dzn