1、启动VS2017，创建新项目：
2、找到你z3-master下的example.cpp所在位置，把它复制粘贴到创建好的项目源文件下：
3、此时会有提示，说存在很多错误，其实是因为还没有为其配环境，那么接下来我们就来配置环境啦：
4、点击"配置管理器"（我自己做的时候是让它们都处于64位环境）：
5、VC++目录---->包含目录（把z3-master/src/api 和 z3-master/src/api/c++ 都添加进去），这两个目录里有要用到的.h头文件
VC++目录---->库目录（把z3-master/build添加进去）
6、调试---->环境（找到libz3.dll所在目录z3-master/build，将z3-master/build添加到环境中）：
7、链接器---->输入---->附加依赖项（将libz3.lib; 添加进去）：
8、最后，把libz3.dll文件粘贴到该项目中：
9、调试代码，可成功运行：
来源：CSDN
作者：08042在不在
链接：https://blog.csdn.net/weixin_42442802/article/details/104100440