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.
See also
* My MiniZinc Page
* My Constraint Programming Page
* My Constraint Programming Blog

Created by Hakan Kjellerstrand hakank@bonetmail.com