作者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/cn.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