开发平台(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?