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.

sudoku_p0.dzn
sudoku_p1.dzn
sudoku_p2.dzn
sudoku_p3.dzn
sudoku_p4.dzn
sudoku_p5.dzn
sudoku_p6.dzn
sudoku_p7.dzn
sudoku_p8.dzn
sudoku_p9.dzn
sudoku_p10.dzn
sudoku_p11.dzn
sudoku_p12.dzn
sudoku_p13.dzn
sudoku_p14.dzn
sudoku_p15.dzn
sudoku_p16.dzn
sudoku_p17.dzn
sudoku_p18.dzn
sudoku_p19.dzn
sudoku_p20.dzn
sudoku_p21.dzn
sudoku_p22.dzn
sudoku_p23.dzn
sudoku_p24.dzn
sudoku_p25.dzn
sudoku_p26.dzn
sudoku_p27.dzn
sudoku_p28.dzn
sudoku_p29.dzn
sudoku_p30.dzn
sudoku_p31.dzn
sudoku_p32.dzn
sudoku_p33.dzn
sudoku_p34.dzn
sudoku_p35.dzn
sudoku_p36.dzn
sudoku_p37.dzn
sudoku_p38.dzn
sudoku_p39.dzn
sudoku_p40.dzn
sudoku_p41.dzn
sudoku_p42.dzn
sudoku_p43.dzn
sudoku_p44.dzn
sudoku_p45.dzn
sudoku_p46.dzn
sudoku_p47.dzn
sudoku_p48.dzn
sudoku_p49.dzn
sudoku_p50.dzn
sudoku_p51.dzn
sudoku_p52.dzn
sudoku_p53.dzn
sudoku_p54.dzn
sudoku_p55.dzn
sudoku_p56.dzn
sudoku_p57.dzn
sudoku_p58.dzn
sudoku_p59.dzn
sudoku_p60.dzn
sudoku_p61.dzn
sudoku_p62.dzn
sudoku_p63.dzn
sudoku_p64.dzn
sudoku_p65.dzn
sudoku_p66.dzn
sudoku_p67.dzn
sudoku_p68.dzn
sudoku_p69.dzn
sudoku_p70.dzn
sudoku_p71.dzn
sudoku_p72.dzn
sudoku_p73.dzn
sudoku_p74.dzn
sudoku_p75.dzn
sudoku_p76.dzn
sudoku_p77.dzn
sudoku_p78.dzn
sudoku_p79.dzn
sudoku_p80.dzn
sudoku_p81.dzn
sudoku_p82.dzn
sudoku_p83.dzn
sudoku_p84.dzn
sudoku_p85.dzn
sudoku_p86.dzn
sudoku_p87.dzn
sudoku_p88.dzn
sudoku_p89.dzn

See also
* My MiniZinc Page
* My Constraint Programming Page
* My Constraint Programming Blog

Created by Hakan Kjellerstrand hakank@bonetmail.com