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

Question

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

我以两种方式完成了安装：

1. 我使用了sudo apt-get install z3

   但是当我尝试使用from z3 import *从终端打开 python 并使用import z3 as z导入z3时，我收到错误消息{{1} 1}}

2. 我用过

   No Module named z3

并将python scripts/mk_make.py cd build make sudo make install添加到build/python和PYTHONPATH添加到build但是当我尝试使用相同的方式导入z3时，我遇到了同样的问题。

现在我尝试了LD_LIBRARY_PATH 这是文件夹examples.py

而且!!!没错误!!!

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

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

编辑：

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

Answer 1

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

Answer 2

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

pip install z3