From 03e92f3f20b09a05ed2ae6cba14be4f221d75388 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 1 Sep 2020 04:58:38 -0700
Subject: [PATCH] with bounded
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/sat/sat_solver.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
index fd4c663e0..a8c2bf482 100644
--- a/src/sat/sat_solver.cpp
+++ b/src/sat/sat_solver.cpp
@@ -1602,7 +1602,7 @@ namespace sat {
}
lbool solver::bounded_search() {
-#if 0
+#if 1
lbool is_sat = l_undef;
while (is_sat == l_undef && !should_cancel()) {
if (inconsistent()) is_sat = resolve_conflict_core();