Smart Sudoku Solver 1.0.0

许可: 免费 ‎文件大小: 26.21 MB
‎用户评分: 5.0/5 - ‎1 ‎评分

基于数独解算器的 SAT 解算器(MiniSat)。 使用户能够通过所有可能的解决方案进行迭代。 使用本机代码;在 G1/ADP1 上测试。

版本历史记录

  • 版本 1.0.0 发布于 2010-01-18
    若干修复和更新
  • 版本 1.0.0 发布于 2010-01-17

软件信息