安装z3后路径出现问题

Question

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

 from z3 import *

我收到这个错误：

ModuleNotFoundError: No module named 'z3'

我认为这是一个与路径有关的问题，我的python文件无法访问z3模块，我不知道如何解决这个问题，特别是python3是由root安装的，而不是由我安装的

Answer 1

解决方法之一是使用包的路径导入包，如

from ~/z3_folder import *

如果有用请分享