- 是最最最简单的实现版本（包括：邻接表，递归，复制回溯，策略为选第一个变元），能在性能算例与一些中型算例上运行，推荐作为baseline（比较基准）使用
- 请将文件夹
SAT测试备选算例置于当前目录下 - 为了突出后续优化效果，贴心地为您负优化了一些部分
forked from oahzxl/SatDpllBaseline
-
Notifications
You must be signed in to change notification settings - Fork 0
基于SAT的二进制数独游戏求解程序-基准版
License
zritqmco83/SatDpllBaseline
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
基于SAT的二进制数独游戏求解程序-基准版
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C 100.0%