如何开始使用 z3

Question

我是 z3 的新手。我从 github 下载了最新版本，并按照说明在 Windows 上使用 Visual Studio 进行构建。 现在，我必须在 Visual Studio 项目中使用 z3 c++ API。我将包中提供的代码示例导入到一个新的vs项目中进行测试，但它无法识别z3头文件。好像漏掉了什么。 谁能指导我如何在 vs 项目中使用 z3？

Answer 1

与共享库一样，您必须将包含*.h 的文件夹添加到您的包含路径，并将包含*.dll 和*.lib 文件的文件夹添加到您的库路径。最后，将*.lib 添加到链接器将链接的库中。在 stackoverflow 上还有很多其他问题和解决方案，例如参见 How to include libraries in Visual Studio 2012?。