基于QT实现的数独游戏DPLL的SAT求解器设计.zip
资源包含文件：lunwen文档+任务书+源码清单+操作手册+项目源码
SAT求解器基于DPLL的完备算法，对CNF范式算例文件进行求解，输出答案，并可选择遍历验证答案或将答案存入文件；数独游戏可转化为SAT问题，用本系统实现的SAT求解器可以快捷地对数独问题转化的CNF文件进行求解，再以变元真值数据转化的数独盘格式输出求解答案。本系统具有一定的交互功能，用户可以利用本系统进行数独游戏，系统将自动判断解的正确性，并输出正确答案。
纯菜单演示系统在windows10 21H1版本系统下通过vscode编程实现，如果改变工程文件中的.vscode中的.jason文件，同样可以在ubuntu20.04系统中运行，实测有效，以下的系统实现阐述主要按照此工程的框架。
另外本人在学有余力的情况下使用Qt5.15设计了较为美观的GUI界面，工程代码在windows系统和linux系统下皆可运行。
详细介绍参考：https://biyezuopin.blog.csdn.net/article/details/125271124
文件下载
资源详情
[{"title":"（ 429 个子文件 30.25MB ） 基于QT实现的数独游戏DPLL的SAT求解器设计.zip","children":[{"title":"基于QT实现的数独游戏DPLL的SAT求解器设计 毕业论文.docx <span style='color:#111;'> 12.75MB </span>","children":null,"spread":false},{"title":"F87R%7U~A3GL5V87OXFX@8C.png <span style='color:#111;'> 223.47KB </span>","children":null,"spread":false},{"title":"图片4.png <span style='color:#111;'> 624.78KB </span>","children":null,"spread":false},{"title":"图片16.png <span style='color:#111;'> 740.73KB </span>","children":null,"spread":false},{"title":"图片12.png <span style='color:#111;'> 167.22KB </span>","children":null,"spread":false},{"title":"......","children":null,"spread":false},{"title":"<span style='color:steelblue;'>文件过多，未全部展示</span>","children":null,"spread":false}],"spread":true}]
评论信息
其他资源
- Anybody人体建模仿真系统
- c++（QT5）图形学-扫描线填充法（完整工程文件）
- cocos2d-x-cocos2d-x-2.2.2.zip
- JAVA五子棋简单实现
- fileinput-zh.js
- 基于OpenGL的B样条曲线曲面的绘制
- Sap系统开发 NW RFC SDK
- 噪声自适应完备总体平均经验模态分解(Complete EEMD with Adaptive Noise，CEEMDAN)
- 最优最差算法
- 操作系统 c/c++ 分页式存储管理
- 软件工程导论中文版+英文版
- matlab实现的人体跟踪（kalman滤波）
- Echarts中国所有市级Json文档，亲测有效
- 华为数通HCIP221题库资料
- AUKS冷风机2017样本.pdf
- 脑出血中风后早期康复的随机对照试验：中风后6个月内预后的差异
- Accelerated C# 2010.rar
- 洗衣店小程序带派单抢单、会员卡、跑腿优惠券、打印（前端后端）
- 吃豆豆小游戏
- ASP.NET 后台管理系统
- CC2530原理图及PCB集成库封装,altium格式
- MATLAB稀疏表示算法
- 黑马外卖kotlin源码
- 解析xml两个jar包dom4j-1.6.1和jaxen-1.1-beta-7.jar
- BIM项目Revit族库大全 最新下载
- 微信小程序之价签管理系统，标准的增删改查！
- Programming.in.Haskell.2nd.Edition.pdf
- GdPicture.NET_SDK_Ultimate_14.0.25
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明