-
基于SAT的数独游戏求解程序
1. 求解CNF文件
2. 挖洞法生成数独棋盘，进行求解
Xiaowhite7/Hust_SAT_sudo
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|