资源包含文件: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