我想将Z3与C++一起使用，并且遵循安装指南Building Z3 on Windows using Visual Studio Command Prompt。
我成功构建了它，然后还将构建路径添加到了系统路径中。但是，当我尝试运行example.cpp文件时，仍然出现错误。错误显示[Error] z3++.h: No such file or directory。谁能告诉我在成功使用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 API，您还必须将z3添加到编译中，以免收到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++ - 如何在C++中使用Z3，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/51993350/