DPLLSolver 基于SAT的数独游戏求解程序SAT问题求解以DPLL算法为主体框架，数独游戏采用挖洞回溯法生成其中的DPLL求解器仍然存在着一定的问题，作为小型求解器，挺多中大型算例跑不出，算法优化有待提高完成于2019/4/7