Rookiecom/SATSolver

HUST 程序设计课设：

内容：

• 实现sat求解器
• sat求解器的策略调优
• 双数独转换成sat问题求解