Question

我已经在我不是Root 的远程服务器上安装了 Z3 。我在安装过程中将前缀更改为我具有写访问权限的目录，安装进行得很顺利，现在我的主目录中有两个目录，一个用于项目，另一个用于解压缩/构建/安装。 z3。当我想执行包含以下内容的python脚本时：

 from z3 import *

我收到此错误：

ModuleNotFoundError: No module named 'z3'

我认为这是与路径有关的问题，我的python文件无法进入z3模块，我不知道如何解决此问题，尤其是python3是由根目录而不是由我安装的。

Answer 1

为此，一种解决方法是通过使用路径导入包，例如

from ~/z3_folder import *

如果可以，请分享。