z3学习篇（二）——— example.cpp的运行及环境配置

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/bui