Skip to content
Advertisement

Tag: z3

fixing the path so python can recognize z3 modules

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

Advertisement