From fbfbfa5d76d3d9e5e4614d9af1aeda714d099ef6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 20 Feb 2025 09:55:33 -0800 Subject: [PATCH] print column value Signed-off-by: Nikolaj Bjorner --- src/math/lp/dioph_eq.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index 521f8b959..60ddbe374 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -254,7 +254,7 @@ namespace lp { out << "bounds:\n"; for (unsigned v = 0; v < m_var_register.size(); ++v) { unsigned j = m_var_register.local_to_external(v); - out << "j" << j << ": "; + out << "j" << j << ":= " << lra.get_column_value(j) << ": "; if (lra.column_has_lower_bound(j)) out << lra.column_lower_bound(j).x << " <= "; out << "x" << v;