CBMC是独立的吗？

是否可以在没有Visual Express的情况下以单机运行CBMC？我需要重新编译它吗 也许还有别的把戏

我只需要定期使用CBMC将函数转换为CNF，所以我想用

---

函数名，将cnf文件写入磁盘并重新启动。我不想使用Visual Studio。

完全可以作为独立程序运行。 我每周都在Linux和Windows 7上这样做：）

我假设您使用Windows是因为Visual Studio

打开命令提示符，导航到

cbmc.exe

所在的文件夹，并按如下方式调用：

cbmc--help

…以查看您的选项

在

3.2命令行界面

中有一节介绍如何执行此操作。 您可能需要调用为CLI设置Visual Studio环境的批处理脚本（VSVARS32.bat/vsvarsall.bat等）。 在某些Windows计算机上，如果我没有记错的话，该脚本被放置在

c:\program files\microsoft visual studio\[version]\vc\bin\

中

---

有关这方面的更多信息，请参见此MSDN页面：

非常感谢。这就是我一直在寻找的答案。@AdrianMonk没问题：）如果你被卡住了，请看一下手册，如果你有问题，请进一步编辑你的问题。如果一切都对你有利，请随意投票和/或接受我的答案。我想制作cnf文件，但需要进行分区，然后再进行更好的计算。你也做过这个吗？也许是梅蒂斯？我在将cnf文件导入Metis时遇到问题。@AdrianMonk Selv tak:）不，我没有尝试从SMT后端导出定理/谓词，但我认为这应该是可能的。虽然我不确定如何以CNF格式获取它们，但是如果输出是SMT lib格式，可能还有其他工具可以。我看过你关于这件事的另一个问题，但我帮不了你多少忙。。请问申请表是什么？