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？

标签： c++visual-studioz3

Answer 1

编译时是否将路径添加到包含目录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