//一个解数独的程序，纯C编写，不依赖特殊库，移植容易。个人原创！ //采用的回溯法，剪枝程序采用动态规划思想进行了大量优化，比一般数独程序可以统计用多少步，中间碰到多少分支，侧面反映题目难度，虽然不能和人的技巧相比，也可以参考一下。 //对于研究数独方法或许没有帮助，但是可以帮助验证结果，统计难度。对于出题时可以去掉的项，也可用其验证。有代码，看懂后可以随便修改。 //解世界上最难数独大概1s左右 //程序作者：原建业-Sudoku @ a program written in

Mimo-noma论文复制+代码运行通过，结果是可用的，但你必须下载CVX工具包(Mimo-noma thesis replication + code runs through, results are available, but you have to download the CVX toolkit)