[問題] C++ z3 solver 問題

[chiya0219 (chiya)]

開發平台(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


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.123.92.131 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1611818491.A.F32.html
※ 編輯: chiya0219 (140.123.92.131 臺灣), 01/28/2021 15:27:25
→ loveme00835: https://bit.ly/3opQV2L
→ chiya0219: 感謝大大，最後在include z3++.h 加入路徑就有成功了
推 alan23273850: 我現在也在做 z3 的開發欸！好巧，大大是不是也是
→ alan23273850: 研究生之類的？？？
→ chiya0219: 是的 我現在碩二 正在探索z3的領域 有興趣可以站內信
→ chiya0219: 聊聊
→ remember: 做formal verification?