这里讲解一种相对比较简单的安装方式
在电脑已有python、pip环境时,只需利用pip安装即可
pip install z3-solver
python自带的IDLE可调用
语法
z3中有3种类型的变量,分别是整型(Int)/实型(Real)和向量(BitVec)
基本API:Ints (names, ctx=None),创建多个整数变量,names是空格分隔名字
BitVecs(name,bv,ctx=None),创建一个有多变量的位向量,name是名字,bv表示大小
基础例子:
from z3 import *
x, y = Reals(‘x y’)
solve(x-y == 3, 3x-8y == 4)
#[y = 1, x = 4]
常用函数:
自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。
深知大多数网络安全工程师,想要提升技能,往往是自己摸索成长,但自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!
因此收集整理了一份《2024年网络安全全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友。