Python Z3配置

明天写
3点了，睡大觉
https://github.com/z3prover
https://blog.jamiexu.cn/2022/02/25/【ctf】ctf的一把梭z3/
https://arabelatso.github.io/2018/06/14/Z3 API in Python/
https://github.com/angr/angr-z3