Linux下的Z3安装
2020-03-23 本文已影响0人
Du1in9
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