Skip to content

Commit 78d66b9

Browse files
print also column values
Signed-off-by: Nikolaj Bjorner <[email protected]>
1 parent c1b1a8c commit 78d66b9

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/math/lp/dioph_eq.cpp

+2-1
Original file line numberDiff line numberDiff line change
@@ -2520,7 +2520,8 @@ namespace lp {
25202520
}
25212521
if (!has_fresh) {
25222522
for (const auto& p : get_term_from_entry(i)) {
2523-
out << "\tx" << p.var() << ": " << lra.get_bounds_string(local_to_lar_solver(p.var())) << "\n";
2523+
auto j = local_to_lar_solver(p.var());
2524+
out << "\tx" << p.var() << " := " << lra.get_column_value(j) << " " << lra.get_bounds_string(j) << "\n";
25242525
}
25252526
} else {
25262527
out << "\thas fresh vars\n";

0 commit comments

Comments
 (0)