Handling special case of bdd/cudd in install.py --check

pysmt · Mar 3, 2015 · de87075 · de87075
1 parent f66cc7c
commit de87075
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/install.py b/install.py
@@ -331,6 +331,10 @@ def check_install():
     required_solver = os.environ.get("PYSMT_SOLVER")
     if required_solver is None:
         required_solver = "None"
+    elif required_solver == "cudd":
+        # Special case for bdd
+        required_solver = "bdd"
+
 
     for solver in ['msat', 'z3', 'cvc4', 'yices', 'bdd']:
         is_installed = False