CNFgen公式生成器和工具 该存储库提供命令 cnfgen公式生成器； 和以下python脚本，旨在在dimacs CNF之间运行： cnfshuffle随机洗牌机； 您可以通过从命令行运行 --help来获得有关如何使用这些工具的简要帮助。 运行cnfgen --help以获得已实现的公式系列的列表。 要获取有关一类公式的更多具体信息，请使用以下命令 cnfgen --help 安装 您可以从安装CNFgen及其所有依赖项，输入 pip3 install [--user] cnf