I installed the dependencies with a pip install . in the source folder.
cd src && python3 gui.py fails with
An error occurred during importing module: No module named 'dreal'
No module named 'dreal'
Traceback (most recent call last):
File "gui.py", line 3717, in <module>
gui = Gui()
File "gui.py", line 151, in __init__
raise error_occurred
File "gui.py", line 78, in <module>
from refine_space import check_deeper
File "DiPS-1.1/src/refine_space.py", line 28, in <module>
from dreal import logical_and, logical_or, logical_not, Variable,
CheckSatisfiability
ModuleNotFoundError: No module named 'dreal'
There is indeed a dreal package in pip but it looks broken: Installing
it does not solve the issue.
/home/me/DiPS-1.1/src$ pip3 install dreal
Collecting dreal
Using cached
https://files.pythonhosted.org/packages/4f/98/187e8b83e5a1dd28c8def13c42e1cb3595ee4085bf60f8ce7b4a17baa028/dreal-4.20.4.2-cp37-none-manylinux1_x86_64.whl
Installing collected packages: dreal
Successfully installed dreal-4.20.4.2
/home/me/DiPS-1.1/src$ python3 gui.py
An error occurred during importing module: libibex.so: cannot open
shared object file: No such file or directory
libibex.so: cannot open shared object file: No such file or directory
Traceback (most recent call last):
File "gui.py", line 3717, in <module>
gui = Gui()
File "gui.py", line 151, in __init__
raise error_occurred
File "gui.py", line 78, in <module>
from refine_space import check_deeper
File "DiPS-1.1/src/refine_space.py", line 28, in <module>
from dreal import logical_and, logical_or, logical_not, Variable,
CheckSatisfiability
File "/home/me/.local/lib/python3.7/site-packages/dreal/__init__.py",
line 7, in <module>
from dreal._dreal_py import *
ImportError: libibex.so: cannot open shared object file: No such file or
directory
I downloaded the release "CMSB 2020" on https://github.com/xhajnal/DiPS/releases
I installed the dependencies with a
pip install .
in the source folder.cd src && python3 gui.py
fails withThere is indeed a dreal package in pip but it looks broken: Installing it does not solve the issue.