[問題] C++ z3 solver 問題

看板C_and_CPP作者 (chiya)時間3年前 (2021/01/28 15:21), 3年前編輯推噓1(1推 0噓 5→)
留言6則, 3人參與, 3年前最新討論串1/1
開發平台(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
→
01/28 16:23, 3年前 , 1F
01/28 16:23, 1F
→
01/29 04:07, 3年前 , 2F
感謝大大，最後在include z3++.h 加入路徑就有成功了
01/29 04:07, 2F
推
02/02 01:59, 3年前 , 3F
我現在也在做 z3 的開發欸！好巧，大大是不是也是
02/02 01:59, 3F
→
02/02 01:59, 3年前 , 4F
研究生之類的？？？
02/02 01:59, 4F
→
02/03 03:34, 3年前 , 5F
是的 我現在碩二 正在探索z3的領域 有興趣可以站內信
02/03 03:34, 5F
→
02/03 03:34, 3年前 , 6F
聊聊
02/03 03:34, 6F
‣ 更多 chiya0219 的文章
文章代碼(AID): #1W4cNxyo (C_and_CPP)