即使安装后也无法在 ubuntu 中的 python-2.7.12 中导入 z3答案

【问题标题】：Cannot import z3 in python-2.7.12 in ubuntu even after installation即使安装后也无法在 ubuntu 中的 python-2.7.12 中导入 z3
【发布时间】：2017-09-22 16:38:03
【问题描述】：

我尝试安装 z3 定理证明器。我正在使用 Ubuntu 16.04。我正在使用 Python 2.7.12

我通过两种方式进行安装：

我用sudo apt-get install z3

但是当我尝试通过使用from z3 import * 并使用import z3 as z 从终端打开python 并同时使用import z3 as z 来导入z3 时，我收到一条错误消息No Module named z3
我用过

python scripts/mk_make.py cd build make sudo make install

并且还添加了build/python 到PYTHONPATH 和build 到LD_LIBRARY_PATH 但是当我尝试使用相同的方式导入z3 时遇到了同样的问题。

现在我尝试运行examples.py 这是文件夹build/python

看啊！！！没有错误！！！

我还尝试运行其他示例文件，但也没有收到任何错误。

谁能帮我解决为什么当我从终端或build/python 之外的任何其他文件夹打开 Python 时无法导入 z3 的问题？

编辑：

我发现每次打开build/python之外的终端时都必须将文件夹添加到路径中

【问题讨论】：

标签： python python-2.7 z3 z3py

【解决方案1】：

我发现每次打开新的终端窗口时都必须添加路径。那么只有 z3 可以从任何地方导入。

【讨论】：

【解决方案2】：

pip 安装的 Python 模块。你可以试试：

pip install z3

【讨论】：

使用 pip 显示 Collecting z3 Using cached z3-0.1.15.tar.gz 但我需要 z3-4.4.0 或更高版本:(
0.1.15 是撰写本文时 pypi 包的 latest version。 4.4.x 包是different thing entirely called "z3"——你想要哪个？
我想要“完全称为 z3 的不同事物”，即 z3 定理证明者
我无法从文件夹“z3-master/build/python”或“z3/bin/python”之外导入z3 但是如果我将要运行的文件粘贴到该文件夹中，那么它工作正常。我希望能够从我想要的任何文件夹中导入 z3。
请注意，此时pip install z3-solver 与pip install z3 不同。如上所述，请确保选择正确的包。