with bounded

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Sep 1, 2020 · 03e92f3 · 03e92f3
1 parent fa9cf0f
commit 03e92f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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();