【CTF】CTF的一把梭Z3
安装z3
Z3开源项目地址:https://github.com/z3prover
Python文档翻译:https://arabelatso.github.io/2018/06/14/Z3%20API%20in%20Python/
- 官方文档
- C++ API
- .NET API
- Java API
- Python API (also available in pydoc format)
- Julia
首先访问Pypi下载对应的架构的whl文件,下载的时候注意对应自己电脑的平台和Python对应的版本。下载好后打开cmd输入pip install 下载的文件路径进行z3的安装。如图所示
本博客所有文章除特别声明外,均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来自 Jamie793’ S Blog!