Sudoku problems for MiniZinc
The following MiniZinc data files are to be used together with the model sudoku_alldifferent.mzn. This model use an
alldifferent constraint to solve the problems. (Compare with the model sudoku_gcc.mzn which use an alternative approach: global cardinality count, gcc.)
These problems are all taken from Gecode's Sudoku model sudoku.cpp.
* My MiniZinc Page
* My Constraint Programming Page
* My Constraint Programming Blog
Created by Hakan Kjellerstrand email@example.com