/Hust_SAT_sudo

华中科技大学计算机科学与技术学院程序设计

Hust_SAT_sudo

  • 基于SAT的数独游戏求解程序

    1. 求解CNF文件

    2. 挖洞法生成数独棋盘，进行求解

详细下载后阅读简要操作手册

点个小星星吧！！！