From d27d09f87ac6270c371b2f850d0491570bbe770f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 10 May 2021 13:35:25 -0700 Subject: [PATCH] #5261 --- src/shell/dimacs_frontend.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/shell/dimacs_frontend.cpp b/src/shell/dimacs_frontend.cpp index 7350745f2..ec157a291 100644 --- a/src/shell/dimacs_frontend.cpp +++ b/src/shell/dimacs_frontend.cpp @@ -66,6 +66,7 @@ static void STD_CALL on_ctrl_c(int) { static void display_model(sat::solver const & s) { sat::model const & m = s.get_model(); + std::cout << "v "; for (unsigned i = 1; i < m.size(); i++) { switch (m[i]) { case l_false: std::cout << "-" << i << " "; break; @@ -77,7 +78,7 @@ static void display_model(sat::solver const & s) { } static void display_core(sat::solver const& s, vector const& tracking_clauses) { - std::cout << "core\n"; + std::cout << "v core\n"; sat::literal_vector const& c = s.get_core(); for (unsigned i = 0; i < c.size(); ++i) { sat::literal_vector const& cls = tracking_clauses[c[i].var()];