From 488c74d3cc357534d7d28ccf0540229387f4faee Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 15 Mar 2025 17:01:18 -0700 Subject: [PATCH] print also column values Signed-off-by: Nikolaj Bjorner --- src/math/lp/dioph_eq.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index ee09325ff..e3a14ae22 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -2520,7 +2520,8 @@ namespace lp { } if (!has_fresh) { for (const auto& p : get_term_from_entry(i)) { - out << "\tx" << p.var() << ": " << lra.get_bounds_string(local_to_lar_solver(p.var())) << "\n"; + auto j = local_to_lar_solver(p.var()); + out << "\tx" << p.var() << " := " << lra.get_column_value(j) << " " << lra.get_bounds_string(j) << "\n"; } } else { out << "\thas fresh vars\n";