修复路径以便 python 可以识别 z3 模块

Question

我已经在我不是 root 的远程服务器上成功安装了 z3。当我尝试运行我的 python 代码时，我得到：

ModuleNotFoundError: No module named 'z3'

我知道我必须将它添加到 PYTHONPATH 才能工作，所以我继续这样做：

export PYTHONPATH=$HOME/usr/lib/python-2.7/site-packages:$PYTHONPATH

不过我仍然遇到同样的问题，如何验证它是否已正确添加到变量环境中？我做错了什么？

Answer 1

你在调用scripts/mk_make.py时是否传递了--python标志？

请参阅 https://github.com/Z3Prover/z3/blob/master/README.md 上的说明，了解如何准确启用 Python（关于该页面的所有内容）。这是一个调用示例：

python scripts/mk_make.py --prefix=/home/leo --python --pypkgdir=/home/leo/lib/python-2.7/site-packages

当然，适当地更改目录。

Answer 2

对于刚刚下载并解压编译的 Z3 二进制文件到某个任意目录的 Windows 用户，将安装 Z3 的目录中的 python 目录的位置添加到 PYTHONPATH 就可以了。即在 Cygwin 中：$ export PYTHONPATH=<location of z3>/bin/python:$PYTHONPATH（或 Windows 命令中的等价物 shell）

修复路径以便 python 可以识别 z3 模块

fixing the path so python can recognize z3 modules

python

linux

z3

server