即使安装后也无法在 python-2.7.12 中导入 z3 在 ubuntu 中
Cannot import z3 in python-2.7.12 in ubuntu even after installation
我尝试安装 z3 定理证明器。
我正在使用 Ubuntu 16.04。
我正在使用 Python 2.7.12
我用两种方式安装：
我用了sudo apt-get install z3
但是当我尝试通过使用 from z3 import * 从 终端 打开 python 并使用import z3 as z 我收到一条错误消息 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 模块由 pip 安装。你可以试试：
pip install z3
我发现每次打开新终端时都必须添加路径 window。然后只能从任何地方导入z3。
我尝试安装 z3 定理证明器。 我正在使用 Ubuntu 16.04。 我正在使用 Python 2.7.12
我用两种方式安装：
我用了
sudo apt-get install z3但是当我尝试通过使用
from z3 import *从 终端 打开 python 并使用import z3 as z我收到一条错误消息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 模块由 pip 安装。你可以试试：
pip install z3
我发现每次打开新终端时都必须添加路径 window。然后只能从任何地方导入z3。