git clone https://github.com/angr/z3.git
python scripts/mk_make.py --python
cd build
make（等待时间较长）
sudo make install
git clone https://github.com/angr/z3.git
python scripts/mk_make.py --python
cd build
make（等待时间较长）
sudo make install
本文标题：Linux下的Z3安装
本文链接：https://www.haomeiwen.com/subject/vapgyhtx.html
网友评论