dreal not loading properly hotfix

xhajnal · May 21, 2020 · 04f310b · 04f310b
1 parent 6984d81
commit 04f310b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/refine_space.py b/src/refine_space.py
@@ -25,7 +25,10 @@
 from common.space_stuff import refine_by
 
 if "wind" not in platform.system().lower():
-    from dreal import logical_and, logical_or, logical_not, Variable, CheckSatisfiability
+    try:
+        from dreal import logical_and, logical_or, logical_not, Variable, CheckSatisfiability
+    except ImportError as err:
+        print(f"Error while loading dreal {err}")
 
 config = load_config()
 results_dir = config["results"]