From fa5aac103ae21e8f3734520c266c0164c46d1c16 Mon Sep 17 00:00:00 2001
From: Francis Russell <francis@unchartedbackwaters.co.uk>
Date: Tue, 19 Apr 2011 00:41:31 +0100
Subject: [PATCH] Use CryptoMiniSat by default.

---
 src/STPManager/UserDefinedFlags.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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.
-- 
2.47.3