基于SAT的二进制数独游戏求解程序-基准版

使用须知

1. 是最最最简单的实现版本（包括：邻接表，递归，复制回溯，策略为选第一个变元），能在性能算例与一些中型算例上运行，推荐作为baseline（比较基准）使用
2. 请将文件夹SAT测试备选算例置于当前目录下
3. 为了突出后续优化效果，贴心地为您负优化了一些部分