如何在 C++ 中使用 Z3
How to use Z3 with C++
我想将 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++" -> "Additional Include Directories".
下的项目属性中
使用cl手动编译时，可以使用/I[path]命令行参数(https://msdn.microsoft.com/en-us/library/73f9s62w.aspx)。
一旦您真正开始在代码中使用 z3 API，您还必须将 z3.lib 添加到您的编译中，以免收到 undefined reference 错误。在 Visual Studio 中，即 "Linker" -> "Additional Dependencies" 和可选的 "Additional Library Directories" 如果您使用库的相对路径。
在我的环境中，以下命令行可以编译您的示例程序：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
我想将 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++" -> "Additional Include Directories".
下的项目属性中使用cl手动编译时，可以使用/I[path]命令行参数(https://msdn.microsoft.com/en-us/library/73f9s62w.aspx)。
一旦您真正开始在代码中使用 z3 API，您还必须将 z3.lib 添加到您的编译中，以免收到 undefined reference 错误。在 Visual Studio 中，即 "Linker" -> "Additional Dependencies" 和可选的 "Additional Library Directories" 如果您使用库的相对路径。
在我的环境中，以下命令行可以编译您的示例程序：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