华中科技大学程序设计综合课程设计任务设计问题-基于SAT的蜂窝数独游戏求解程序C++源码+文档说明+实验报告

# 基于SAT的蜂窝数独游戏求解程序 #### 介绍 2022级华中科技大学程序设计综合课程设计任务设计问题一——基于SAT的蜂窝数独游戏求解程序 #### 软件架构 包括SAT求解器板块、蜂窝数独转化成cnf公式板块两个主要板块 #### 几点建议 **如果也是需要完成课设任务的话，记得不要抄袭哦** 1. 程序基本完成了任务设置，但是部分地方还需要改进，包括选取变元的策略，没有采用挖洞法生成数独 2. 对于部分较大算例不能短时间完成求解，同时对于部分特殊的小算例也会有对应问题。 3. 由于我所使用的IDE是Visual Studio，对应的代码如果想要运行的话，可以在里面建立一个项目后添加头文件以及源文件，然后把源代码全部复制上去就可以，注意仓库中不同的文件也在vs里面新建不同的文件放入。同时由于Visual Studio里面初始应该是不能直接使用scanf、printf函数的，会显示unsafe，这个问题的解决还请自行百度解决哈，这里就不赘述了。 4. 实验报告部分不宜公开的信息我已经删去。 **希望大家使用的时候可以star这个仓库哈！感谢感谢**