【源码】基于C++的二进制数独游戏求解程序

项目简介

本项目作为数据结构课程设计作业，实现了基于SAT的二进制数独游戏求解程序。用户可借助简单菜单界面，选择运行SAT求解器或数独求解器，感受智能求解数独的功能。此程序仅用于学习参考，不可用于商业用途。

项目的主要特性和功能

1. 提供简单菜单界面，用户输入选项即可选择要运行的功能。
2. SAT求解器利用SAT算法求解数独问题，用户输入问题的绝对路径，程序会尝试求解并返回结果。
3. 数独求解器允许用户输入完整数独游戏，程序尝试求解并展示答案，操作时不宜过快，以防跳过答案展示界面。

安装使用步骤

1. 环境准备：确保开发环境为Visual Studio Code或其他C++开发环境。
2. 文件准备：将所有代码文件放在同一项目目录中，保证文件路径正确。
3. 编译运行：编译huge.cpp文件，或者直接运行huge.exe，按照用户界面提示输入，选择所需功能并按要求输入信息。

注意事项

1. SAT求解时需输入绝对路径。
2. 数独游戏要输入整个数独进行验证，且操作速度不宜过快，避免跳过获取答案界面。
3. 程序存在效率不高和可能的bug，仅作学习参考，不建议用于商业用途。

下载地址

点击下载 【提取码: 4003】【解压密码: www.makuang.net】