sat-cnf-转换器 用于将布尔公式从 DIMACS SAT 转换为 DIMACS CNF 格式的小实用程序。 该计划是理学硕士论文“对布尔问题求解器的贡献”的一部分。 特征 MIT 许可 用C++语言编写 仅使用标准 C++ 库。 不需要额外的框架 编译测试适用于 Windows 和 Linux 系统 转换结果可能会被 UBCSAT、Sat4j、sharpSAT、RELSAT、RSat 等 SAT 求解器处理 建造 该项目是使用 Qt Creator 编写的。 在 Qt Creator 中打开文件“project.pro”并使用顶部菜单（“Build” - “Build Project”）或按 + 构建项目。 运行程序 假设程序名为“sat_to_cnf.exe”，输入文件名为“sample.sat”。 sat_to_cnf.exe sample.sat 如果