# SAT-DPLL

**Repository Path**: klaw-two/sat-dpll

## Basic Information

- **Project Name**: SAT-DPLL
- **Description**: 基于SAT的数独游戏求解程序-DPLL算法框架
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 2
- **Created**: 2023-07-18
- **Last Updated**: 2023-07-18

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# SAT-DPLL

#### 介绍
基于SAT的数独游戏求解程序-DPLL算法框架

#### 补充
1.  华中科技大学2021年秋季学期C语言综合课设作业
2.  上传了学生指导包、助教检查包和我的代码。
3.  不能直接运行，建议打开Main函数将文件名修改成你自己的文件名，即可正常运行。

#### 期待改进

1.  用Qt实现可视化，提高可玩性；
2.  数独游戏界面仍有bug，当进入play模式又退出又进入play模式后存在bug；
3.  对DPLL算法框架进一步改进，复现CDCL算法；
4.  尝试在数独模块使用二进制表示。

#### 程序主要流程
![程序主要流程图](https://images.gitee.com/uploads/images/2021/1015/105817_4f83943a_8418619.png "系统.png")