mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-08 17:01:55 +00:00
Code Activity

t

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2025-09-05 10:35:19 -10:00
parent 372de9bf06
commit 1acf680646
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/nlsat/levelwise.cpp
View file

@ -695,6 +695,8 @@ namespace nlsat {
apply_pre_non_null(p); apply_pre_non_null(p);
else if (p.prop_tag == prop_enum::an_sub) else if (p.prop_tag == prop_enum::an_sub)
apply_pre_an_sub(p); apply_pre_an_sub(p);
else
NOT_IMPLEMENTED_YET();
TRACE(levelwise, tout << "apply_pre END m_Q:"; display(tout) << std::endl;); TRACE(levelwise, tout << "apply_pre END m_Q:"; display(tout) << std::endl;);
} }