c++ - 如何在 C++ 中使用 Z3

Question

我想将 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？

Answer 1

编译时是否将z3\src\api\c++和z3\src\api路径添加到include目录？

如果您正在使用 Visual Studio 项目，则需要将其添加到“C++”->“其他包含目录”下的项目属性中。

使用cl 手动编译时，可以使用/I[path] 命令行参数(https://msdn.microsoft.com/en-us/library/73f9s62w.aspx)。

一旦您真正开始在代码中使用 z3 API，您还必须将 z3.lib 添加到编译中，以免收到 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