Use CryptoMiniSat by default.

diff --git a/src/STPManager/UserDefinedFlags.h b/src/STPManager/UserDefinedFlags.h
index 650b5757616b9b0eab12f9baa2a4592af5e4fbcf..63a4e9d2cc132a82922c29b17be5be8ebefe20c5 100644 (file)
--- a/src/STPManager/UserDefinedFlags.h
+++ b/src/STPManager/UserDefinedFlags.h
@@ -264,8 +264,8 @@ namespace BEEV
 
       tseitin_are_decision_variables_flag=true;
 
-      // use minisat by default.
-      solver_to_use = MINISAT_SOLVER;
+      // Use CryptoMiniSat by default.
+      solver_to_use = CRYPTOMINISAT_SOLVER;
 
       // The special Cryptominisat2 CNF generation with this flag enabled seems to go into an infinite loop.
       // beware of turning this on if you are using cryptominsat2.