From 2909e8cd9e141b4fc0c2435f247226d1a6919fe5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 19 Mar 2014 15:53:28 -0700 Subject: [PATCH] working on SLS Signed-off-by: Nikolaj Bjorner --- src/opt/weighted_maxsat.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/opt/weighted_maxsat.cpp b/src/opt/weighted_maxsat.cpp index 8e38572c4..d21e49e98 100644 --- a/src/opt/weighted_maxsat.cpp +++ b/src/opt/weighted_maxsat.cpp @@ -552,7 +552,6 @@ namespace opt { for (unsigned i = 0; i < m_soft.size(); ++i) { wth().assert_weighted(m_soft[i].get(), m_weights[i]); } - s.display(std::cout); solver::scoped_push __s(s); while (l_true == is_sat) { @@ -601,7 +600,6 @@ namespace opt { ws.push_back(wth().assert_weighted(m_soft[i].get(), m_weights[i])); sls.add(m_soft[i].get(), m_weights[i]); } - s.display(std::cout); expr_ref fml(m); solver::scoped_push __s(s);