search

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker
BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

Fix not loading z3 from python (only notebook works) #23

Closed xhajnal closed 5 years ago

xhajnal commented 5 years ago

before running set the environment variable PYTHONPATH PYTHONPATH= MYZ3/python

in pycharm it may not work, see here: https://stackoverflow.com/questions/28326362/pycharm-and-pythonpath/28326635