Skip to content

华中科技大学计算机学院综合课程设计

Notifications You must be signed in to change notification settings

lrlbbzl/Curriculum-Design

Repository files navigation

基于DPLL算法的SAT问题求解

  • head.h,头文件
  • cpp文件完成程序主体
  • py文件实现二进制数独棋盘的可视化
    • python程序中没有复现棋盘创建过程,依赖于cpp主程序创建的存储棋盘的文本文件
    • 将build.py中的第4行,第11行修改为棋盘文件所在文件夹即可,可以修改后缀名,这里是.puz

About

华中科技大学计算机学院综合课程设计

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published