Windows和Linux下z3的安装

Windows下安装z3

使用虚拟环境安装

(z3) E:\venv\>python -m venv z3
(z3) E:\venv\z3\Scripts>cd z3\Scripts
(z3) E:\venv\z3\Scripts>activate.bat
(z3) E:\venv\z3\Scripts>pip install -i https://pypi.tuna.tsinghua.edu.cn/simple z3-solver
(z3) E:\venv\z3\Scripts>python
Python 3.6.6 (v3.6.6:4cf1f54eb7, Jun 27 2018, 03:37:03) [MSC v.1900 64 bit (AMD64)] on win32
Type "help", "copyright", "credits" or "license" for more information.
>>> import z3
>>>

安装成功

Linux下安装z3

pwn@pc:~$ python3 -m venv z3
pwn@pc:~$ source ./z3/bin/activate
(z3) pwn@pc:~$ pip install -i https://pypi.tuna.tsinghua.edu.cn/simple z3-solver
(z3) pwn@pc:~$ python
Python 3.6.9 (default, Nov  7 2019, 10:44:02)
[GCC 8.3.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import z3

安装成功