如何开始使用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?。