mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 10:52:02 +00:00
Code Activity

disable for now

Browse source
This commit is contained in:
Jakob Rath 2022-11-23 16:59:26 +01:00
parent 558fd718c0
commit 5c63a67634
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/math/polysat/conflict.cpp
View file

@ -71,8 +71,8 @@ namespace polysat {
bool try_resolve_value(pvar v, conflict& core) { bool try_resolve_value(pvar v, conflict& core) {
if (m_poly_sup.perform(v, core)) if (m_poly_sup.perform(v, core))
return true; return true;
if (m_saturate.perform(v, core)) // if (m_saturate.perform(v, core))
return true; // return true;
return false; return false;
} }