# 基于DPLL算法的SAT的蜂窝数独游戏求解程序

**Repository Path**: clm_gitee/clm_SAT

## Basic Information

- **Project Name**: 基于DPLL算法的SAT的蜂窝数独游戏求解程序
- **Description**: 2022级华中科技大学程序设计综合课程设计任务设计问题一——基于SAT的蜂窝数独游戏求解程序
- **Primary Language**: C++
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 9
- **Forks**: 0
- **Created**: 2023-09-07
- **Last Updated**: 2024-09-03

## Categories & Tags

**Categories**: Uncategorized

**Tags**: DPLL, SAT问题, 蜂窝数独

## README

# 基于SAT的蜂窝数独游戏求解程序

#### 介绍
2022级华中科技大学程序设计综合课程设计任务设计问题一——基于SAT的蜂窝数独游戏求解程序

#### 软件架构
包括SAT求解器板块、蜂窝数独转化成cnf公式板块两个主要板块

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

 **希望大家使用的时候可以star这个仓库哈！感谢感谢**