mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-14 12:51:48 +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 13:13:27 -10:00
parent 4a8bae812a
commit 6cf3528252
3 changed files with 78 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/nlsat/levelwise.h
View file

@ -12,7 +12,7 @@ namespace nlsat {
unsigned i;
};
struct symbolic_interval {
bool section = true;
bool section = false;
poly* l = nullptr;
unsigned l_index; // the root index
poly* u = nullptr;