dreal/dreal4

Python import dreal ibex library not found

Closed this issue · 3 comments

INPUTrrr0 commented

I have: dreal in ./anaconda3/lib/python3.7/site-packages (4.21.6.2)
and ibex 2.8.9.
I am using macOS 10.15.3 and Intel Core m3.

When I want to import dreal in python, I get:
from dreal._dreal_py import *
ImportError: dlopen(/Users/theone/anaconda3/lib/python3.7/site-packages/dreal/_dreal_py.so, 2): Library not loaded: /usr/local/opt/ibex@2.7.4/lib/libibex.dylib
Referenced from: /Users/theone/anaconda3/lib/python3.7/site-packages/dreal/_dreal_py.so
Reason: image not found

In my /usr/local/opt/ directory I have "ibex" instead of "ibex@2.7.4". I also already have flex and bison. Does it mean I must have ibex 2.7.4 version for it to work? Thanks!!

soonhokong commented

Yes, you still need ibex@2.7.4. To install it, please run the following:

brew tap robotlocomotion/director
brew install ibex@2.7.4
  • 👍1
INPUTrrr0 commented

Yes, you still need ibex@2.7.4. To install it, please run the following:

brew tap robotlocomotion/director
brew install ibex@2.7.4

Perfect it worked!! Thank you so much!!

soonhokong commented

Good to know! Closing this issue.

  • ❤️1