From b1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 5 Mar 2014 19:57:10 +0100
Subject: [PATCH] Switched to EZMINISAT_SIMPSOLVER as default SAT solver

---
 libs/ezsat/ezminisat.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libs/ezsat/ezminisat.h b/libs/ezsat/ezminisat.h
index c634e66e7..ac9c071c3 100644
--- a/libs/ezsat/ezminisat.h
+++ b/libs/ezsat/ezminisat.h
@@ -20,7 +20,7 @@
 #ifndef EZMINISAT_H
 #define EZMINISAT_H
 
-#define EZMINISAT_SIMPSOLVER 0
+#define EZMINISAT_SIMPSOLVER 1
 #define EZMINISAT_VERBOSITY 0
 #define EZMINISAT_INCREMENTAL 1
 
-- 
2.30.2