mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-24 06:43:40 +00:00
Code Activity

lit_pp

Browse source
This commit is contained in:
Jakob Rath 2023-02-14 09:36:56 +01:00
parent b0e7852c9c
commit 5a45f81d44
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/math/polysat/solver.cpp
View file

@ -1355,7 +1355,7 @@ namespace polysat {
for (clause const& cl : m_constraints.clauses()) { for (clause const& cl : m_constraints.clauses()) {
out << "\t" << cl << "\n"; out << "\t" << cl << "\n";
for (sat::literal lit : cl) for (sat::literal lit : cl)
out << "\t\t" << lit << ": " << lit2cnstr(lit) << "\n"; out << "\t\t" << lit_pp(*this, lit) << "\n";
} }
return out; return out;
} }