dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
150 stars 31 forks source link

ImportError: libibex.so: cannot open shared object file #300

Closed megaseptinh closed 1 year ago

megaseptinh commented 1 year ago

I encountered an issue while trying to import the dreal module in Python. The following error message was raised:

image
soonhokong commented 1 year ago

I think this is a problem in Google Colab. Please run the following line in a fresh Colab:

!sudo add-apt-repository ppa:ubuntu-mozilla-daily/ppa

It should give you the same error:

Traceback (most recent call last):
  File "/usr/bin/add-apt-repository", line 363, in <module>
    addaptrepo = AddAptRepository()
  File "/usr/bin/add-apt-repository", line 41, in __init__
    self.distro.get_sources(self.sourceslist)
  File "/usr/local/lib/python3.10/dist-packages/aptsources/distro.py", line 91, in get_sources
    raise NoDistroTemplateException(
aptsources.distro.NoDistroTemplateException: Error: could not find a distribution template for Ubuntu/jammy
zy1022ic commented 1 year ago

I have encountered the same problem. I think this is because Colab just upgraded their default runtime to Ubuntu 22.04 LTS. One can access the old 20.04 LTS runtime (available until early August) from the Command Palette via the “Use fallback runtime version” command and it works.

soonhokong commented 1 year ago

from the Command Palette via the “Use fallback runtime version” command and it works

Please try the following steps:

1.

Screenshot 2023-07-22 at 8 31 08 AM

2.

Screenshot 2023-07-22 at 8 31 21 AM

3.

Screenshot 2023-07-22 at 8 31 26 AM