From f9105edb14c6d6aca605bc61ce206c57f95a28f4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 1 May 2017 15:22:52 -0700 Subject: [PATCH] revert to native chunker Signed-off-by: Nikolaj Bjorner --- src/sat/sat_solver.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp index 22418ed28..dc5aa2964 100644 --- a/src/sat/sat_solver.cpp +++ b/src/sat/sat_solver.cpp @@ -3259,9 +3259,9 @@ static void back_remove(sat::literal_vector& lits, sat::literal l) { } } - is_sat = core_chunking(*this, mdl, vars, asms, conseq, 100); + // is_sat = core_chunking(*this, mdl, vars, asms, conseq, 100); - // is_sat = get_consequences(asms, lits, conseq); + is_sat = get_consequences(asms, lits, conseq); set_model(mdl); return is_sat; }