cnfgen:DIMACS格式的CNF生成器。 它产生CNF的常见家族 源码

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