From: Francis Russell <francis@unchartedbackwaters.co.uk>
Date: Mon, 18 Apr 2011 23:41:31 +0000 (+0100)
Subject: Use CryptoMiniSat by default.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=fa5aac103ae21e8f3734520c266c0164c46d1c16;p=francis%2Fstp.git

Use CryptoMiniSat by default.
---

diff --git a/src/STPManager/UserDefinedFlags.h b/src/STPManager/UserDefinedFlags.h
index 650b575..63a4e9d 100644
--- 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.