z3库学习 概述 z3库的安装 申明求解变量范围 增加方程约束与求解 总结 概述 最近做逆向题,有很多线性方程需要用该库进行求解,故写篇博客记录一下。 z3库的安装 $ pip install z3 # 上面命令失败的话可以尝试 $ pip install z3_solver 申明求解变量范围 from z3 import * # a为整数解,Ints用于一次性申请多个 a = Int("a") a, b = Ints("a b"