233333,听说直接pip安装的不太让人愉悦。
那就直接用源码安装了。
//跟angr中的安装相仿,先创建个虚拟环境
sudo apt install python-dev libffi-dev build-essential virtualenvwrapper
virtualenv z3
cd z3
source 路径/z3/bin/activate
git clone https://github.com/Z3Prover/z3
cd z3
python scripts/mk_make.py --python
cd build
make
make install
#过程有点长23333333
z3的简单使用
#ps:记得先切换虚拟环境
from z3 import *
x=Int('x')#定义整数
y=Int('y')
solver=Solver()#建立约束器
solver.add(x>2)#添加约束条件
solver.add(y<10)
solver.add(2*x+y==7)
if solver.check()==sat:#判断是否可解,可解就输出
print solver.model()
else :#不可解就gg
print ("wrong")
可以去学习的网址:
https://zhuanlan.zhihu.com/p/30548907
https://www.cnblogs.com/ZHijack/p/9001860.html#4007180
参考链接:http://myhackerworld.top/2018/09/25/%E5%88%9D%E8%AF%86z3/#mor