z3安装与学习

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