sat-cnf-converter是一个小型实用程序，用于将布尔公式从 DIMACS SAT 格式转换为 DIMACS CNF 格式。

简介：
sat-cnf转换器是一个简易实用程序，专门用于将 DIMACS SAT 格式的布尔公式转换为 DIMACS CNF 格式。该程序作为理学硕士论文“对布尔问题求解器的贡献”的一部分而开发。它采用 MIT 许可协议，并使用 C++ 语言编写，仅依赖于标准 C++ 库。该项目无需额外的框架即可编译和测试，并且兼容 Windows 和 Linux 系统。转换后的结果可以被 UBCSAT、Sat4j、sharpSAT、RELSAT 和 RSat 等 SAT 求解器成功处理。 项目的构建过程是在 Qt Creator 中进行的，具体步骤包括打开文件“project.pro”，然后通过顶部菜单（“Build” - “Build Project”）或按下 + 键来构建该项目。为了运行程序，请假设其名称为“sat_to_cnf.exe”，并提供输入文件名为“sample.sat”。