标签： type-conversion cnf dnf
我想使用SDD软件包来处理SDD，它需要cnf（或dnf）格式的文件作为输入。我必须处理iscas85基准测试，它们以几种格式共享，但不能以cnf共享。如何将这些文件转换为cnf文件？