作者chiya0219 (chiya)
看板C_and_CPP
標題[問題] C++ z3 solver 問題
時間Thu Jan 28 15:21:29 2021
開發平台(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://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1611818491.A.F32.html
※ 編輯: chiya0219 (140.123.92.131 臺灣), 01/28/2021 15:27:25
2F：→ chiya0219: 感謝大大，最後在include z3++.h 加入路徑就有成功了 01/29 04:07
3F：推 alan23273850: 我現在也在做 z3 的開發欸！好巧，大大是不是也是 02/02 01:59
4F：→ alan23273850: 研究生之類的？？？ 02/02 01:59
5F：→ chiya0219: 是的 我現在碩二 正在探索z3的領域 有興趣可以站內信 02/03 03:34
6F：→ chiya0219: 聊聊 02/03 03:34
7F：→ remember: 做formal verification? 02/11 19:16