I have successfully installed z3 on a remote server where I am not root. when I try to run my python code I get : I understand that I have to add it to PYTHONPATH in order to work and so I went ahead and done that like this: export PYTHONPATH=$HOME/usr/lib/python-2.7/site-packages:$PYTHONPATH I still get the same issue though, how can