即使安装后，也无法在Ubuntu中的Python-2.7.12中导入Z3

Question

我尝试安装Z3定理供体。我正在使用Ubuntu 16.04。我正在使用Python 2.7.12

我以两种方式进行了安装：

1. 我使用sudo apt-get install z3

   但是，当我尝试通过打开 python 从 terminal 使用from z3 import *并使用import z3 as z时，我收到了一个错误，说No Module named z3

2. 我使用

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

，还将build/python添加到PYTHONPATH和build到LD_LIBRARY_PATH，但是当我尝试以相同方式导入Z3时，我遇到了同样的问题。

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

和lo ！！！没有错误！

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

有人可以帮助我解决这个问题，为什么当我从终端打开Python或build/python之外的任何其他文件夹时我无法导入Z3？

编辑：

我发现每次我在build/python

Answer 1

我发现每次打开一个新的终端窗口时，我都必须添加路径。然后，只能从任何地方导入Z3。

Answer 2

Python模块由pip安装。您可以尝试：

pip install z3