From 04f310badeef07017c0c5a41f4f07ee13344a021 Mon Sep 17 00:00:00 2001
From: Matej Hajnal <matej.hajnal@gmail.com>
Date: Thu, 21 May 2020 14:24:11 +0200
Subject: [PATCH] dreal not loading properly hotfix

---
 src/refine_space.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/refine_space.py b/src/refine_space.py
index 47164c6..d5ca1e8 100644
--- 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"]