開發平台(Platform):ubuntu 20.04
編譯器g++
問題(Question)：照著github 及 c++ z3 安裝的指示安裝後
安裝指令如下
git clone https://github.com/Z3Prover.git
python scripts/mk_make.py
cd z3
CXX=clang++ CC=clang python scripts/mk_make.py
cd build
make
sudo make install
make examples
上述執行完後 進去/z3/examples/c++
執行
g++ example.cpp
卻一直出現 fatal error : z3++.h 找不到此檔案或目錄
想請問這要怎麼解決...z3 for c++ 的資料實在不多，已找過很多資料都沒提到QQ

感謝大大，最後在include z3++.h 加入路徑就有成功了

我現在也在做 z3 的開發欸！好巧，大大是不是也是研究生之類的？？？

是的 我現在碩二 正在探索z3的領域 有興趣可以站內信聊聊

做formal verification?