a solution to typical sudoku puzzles。

usage:

1. Download Minizinc IDE and install it. You can follow the guide here.http://www.minizinc.org/software.html
2. Open both the model file(.mzn) and data file(.dzn) with MiniZinc. Change the data according to specific sudoku puzzle.
3. Just click run， choose the specified data file, and you can see the output. Remember to switch your current window to the model file(.mzn), otherwise you will not be able to run the model.

用法：

1. 下载MiniZinc IDE并安装。
2. 在MiniZinc中打开模型文件（.mzn）和数据文件（.dzn）。根据遇到的数独问题修改数据文件，问题中空白网格用0表示。
3. 点击“run”，选择输入的数据文件，就可以看到输出的结果。如果“run”是无法点击的状态（灰色），记得把当前视图切换到模型文件。