用于处理和生成dimacs cnf文件的工具集合。
cnftools的Python项目详细描述
用于处理和生成dimacs cnf文件的工具集合。
用法
cnftools公开cnf命令行接口,以便快速生成 dimacs cnf文件通常用于sat解算器。
简化
只需输入cnf文件。
cnf simplify -i [input.cnf] -o [output.cnf]
统计
提供有关cnf文件内容的详细信息。这包括文字的数量, 子句的总数,以及子句长度的直方图。
cnf stats -i [input.cnf]
参考文献
[TSEY1970] | Tseitin, Grigori. “On the complexity of derivation in propositional calculus.” Studies in constructive mathematics and mathematical logic (1968): 115-125. |
[COOK1971] | Cook, Stephen A. “The complexity of theorem-proving procedures.” Proceedings of the third annual ACM symposium on Theory of computing. ACM, 1971. |
[KARP1972] | Karp, Richard M. “Reducibility among combinatorial problems.” Complexity of computer computations. Springer, Boston, MA, 1972. 85-103. |