Я установил Z3 на удаленный сервер , где Я не Root . Я изменил префикс во время установки на мой каталог, к которому у меня есть права на запись. Установка прошла гладко, и теперь у меня есть две директории в моей домашней директории: одна для проекта и одна, где я распаковал / собрал / установил z3 , когда я хочу выполнить скрипт Python, который включает в себя:
from z3 import *
Я получаю эту ошибку:
ModuleNotFoundError: No module named 'z3'
Я думаю, что это проблема, связанная с путями, и мой файл python не может попасть в модуль z3, я не знаю, как это исправить, тем более, что python3 был установлен рутом, а не мной.