我想将 Z3 与 C++ 一起使用，并且我按照安装指南进行操作 - Building Z3 on Windows using Visual Studio Command Prompt .
我构建成功了，然后我还将构建路径添加到系统路径中。但是，当我尝试运行example.cpp时仍然出现错误。文件。错误显示[Error] z3++.h:没有这样的文件或目录。谁能告诉我在使用 Visual Studio 命令提示符成功构建 Z3 后是否需要执行任何其他配置才能使用 C++ 运行 Z3？
最佳答案
您是否添加了 z3\src\api\c++和z3\src\api编译时包含目录的路径？
如果您正在使用 Visual Studio 项目，则需要将其添加到“C++”->“其他包含目录”下的项目属性中。
使用 cl 手动编译时，您可以使用/I[path]命令行参数( https://msdn.microsoft.com/en-us/library/73f9s62w.aspx )。
您还必须添加 z3.lib一旦您实际开始使用 z3 即可进行编译API 在您的代码中，以免您收到 undefined reference错误。在 Visual Studio 中，如果您使用库的相对路径，则为“链接器”->“其他依赖项”和可选的“其他库目录”。
在我的环境中，以下命令行编译示例程序: cl example.cpp /I C:\tools\z3\z3-master\src\api\c++ /I C:\tools\z3\z3-master\src\api C:\tools\z3\z3-master\build\libz3.lib
关于c++ - 如何将 Z3 与 C++ 结合使用，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/51993350/