diff --git a/medleysolver/constants.py b/medleysolver/constants.py
index a499efc..02d08f4 100644
--- a/medleysolver/constants.py
+++ b/medleysolver/constants.py
@@ -1,13 +1,12 @@
 from collections import OrderedDict, namedtuple
 
 SOLVERS = OrderedDict({
-    "Z3"   : "z3",
+    "Z3"   : "~/tools/z3/bin/z3",
     "CVC4" : "~/tools/cvc4",
-    "BOOLECTOR" : "~/tools/boolector/boolector/bin/boolector",
-    "YICES": "~/bin/yices-smt2",
+    "BOOLECTOR" : "~/tools/boolector/build/bin/boolector",
+    "YICES": "~/tools/yices/bin/yices-smt2",
     "MathSAT": "~/tools/mathsat/bin/mathsat",
-#    "Vampire": "~/tools/vampire --input_syntax smtlib2 ",
-    "Bitwuzla": "~/tools/Bitwuzla/bin/bitwuzla",
+    "Bitwuzla": "~/tools/bitwuzla/bin/bitwuzla",
 })
 
 SAT_RESULT     = 'sat'
diff --git a/setup.py b/setup.py
index 319514c..7fc9226 100644
--- a/setup.py
+++ b/setup.py
@@ -14,8 +14,9 @@
     packages     = find_packages(),
     install_requires = [
         'numpy',
-        'z3',
+        'z3-solver',
         'tqdm',
-        'dill'
+        'dill',
+        'sklearn',
     ],
-)
\ No newline at end of file
+)