如何开始使用 z3
How to get start using z3
我是 z3 的新手。我从 github 下载了最新版本，并按照说明在 windows 上使用 visual studio 进行构建。
现在，我必须在 visual studio 项目中使用 z3 c++ API。我将包中提供的代码示例导入到一个新的vs项目中进行测试，但无法识别z3头文件。似乎漏掉了什么。
谁能指导我如何在 vs 项目中使用 z3？
对于共享库，您必须将包含 *.h 的文件夹添加到您的包含路径，并将包含 *.dll 和 *.lib 文件的文件夹添加到您的库路径。最后，将 *.lib 添加到 link 以后 link 的库中。在 Whosebug 上还有很多其他问题和解决方案，例如 How to include libraries in Visual Studio 2012?.
我是 z3 的新手。我从 github 下载了最新版本，并按照说明在 windows 上使用 visual studio 进行构建。 现在，我必须在 visual studio 项目中使用 z3 c++ API。我将包中提供的代码示例导入到一个新的vs项目中进行测试，但无法识别z3头文件。似乎漏掉了什么。 谁能指导我如何在 vs 项目中使用 z3？
对于共享库，您必须将包含 *.h 的文件夹添加到您的包含路径，并将包含 *.dll 和 *.lib 文件的文件夹添加到您的库路径。最后，将 *.lib 添加到 link 以后 link 的库中。在 Whosebug 上还有很多其他问题和解决方案，例如 How to include libraries in Visual Studio 2012?.