本文档详细记录了在Ubuntu 14.04.5系统中，使用Python 2.7.6安装和配置Z3 solver的过程。主要包括从pypi下载.zip.gz压缩包，解压后通过终端执行python setup.py build和python setup.py install命令完成安装，并展示了命令行输出的结果。
由于需要在Linux系统上安装Z3 solver的python库，所以在此记录一下。
Ubuntu版本：14.04.5
python版本：2.7.6
1.在pypi上下载（网址：https://pypi.python.org/pypi/z3-solver/4.5.1.0#downloads）后缀为.tai.gz的z3-solver压缩包。
2.将z3压缩包解压，并打开终端cd到解压后的文件夹目录下
3.先输入python setup.py build命令进行编译，再输入python setup.py install命令进行包安装，结果如下图
最低0.47元/天 解锁文章
1646
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
