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

我正在使用Ubuntu 16.04。 我使用的是Python 2.7.12

我用两种方法进行了安装:

1. sudo apt-get install z3

   但当我试图通过打开 从…起 使用 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 哪个是文件夹

瞧!!!没有错误!!!

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

构建/python

编辑:

我发现每次在外部打开终端时都必须将文件夹添加到路径中