mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 09:05:31 +00:00
Code Activity

display monomials

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-12-31 15:05:57 -08:00
parent 483508d257
commit 57cb999061
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/sat/smt/polysat/core.cpp
View file

@ -508,6 +508,7 @@ namespace polysat {
out << m_vars[i] << " := " << m_values[i] << " " << m_justification[i] << "\n";
m_var_queue.display(out << "var queue: ") << "\n";
m_viable.display(out);
m_monomials.display(out);
return out;
}