z3學習篇（二）——— example.cpp的運行及環境配置

1、啓動VS2017，創建新項目： 2、找到你z3-master下的example.cpp所在位置，把它複製粘貼到創建好的項目源文件下： 3、此時會有提示，說存在很多錯誤，其實是因爲還沒有爲其配環境，那麼接下來我們就來配置環境啦： 4、點擊"配置管理器"（我自己做的時候是讓它們都處於64位環境）： 5、VC++目錄---->包含目錄（把z3-master/src/api 和 z3-master/s

>>阅读原文<<