-
基于SAT的数独游戏求解程序
1. 求解CNF文件
2. 挖洞法生成数独棋盘，进行求解
-
Notifications
You must be signed in to change notification settings - Fork 0
Xiaowhite7/Hust_SAT_sudo
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
华中科技大学计算机科学与技术学院程序设计
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published