Lev Nachmanson
|
bcd0d2d099
|
refactor lws
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
056b83e770
|
refact lws
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
963a9085a6
|
refact lws
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
4d6461310f
|
define indexed root expression
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
841775ffdd
|
refactor
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
3cff4d3410
|
refactor
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
f46cc6814a
|
add trace tag for levelwise
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
1066f3ea3b
|
pass nlsat::solver to levelwise
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
2c35dae2e2
|
pass pmanager
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
a79c0a7901
|
pass anum_manager to levelwise, crash on sign
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
856c71acb2
|
t
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
2216825f43
|
more accurate init of the relation between polynomial properties
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
5e1572d610
|
use std::map instead of std::unordered_map
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
2c5a7c965f
|
t
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
0d8d77277f
|
define symbolic_interval
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
6ef4743015
|
more scaffolding
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
80f2a8b17c
|
closer to the paper
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
7cd68fee7b
|
scaffolding
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2025-12-03 11:16:25 -10:00 |
|
Lev Nachmanson
|
b64ce02dc2
|
scaffoldin
|
2025-12-03 11:16:25 -10:00 |
|