mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-24 01:01:19 +00:00
Code Activity
20190 commits 75 branches 58 tags 181 MiB
Commit graph

10 commits

Author SHA1 Message Date
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
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
Lev Nachmanson
cdbc89964f t2 2025-12-03 11:16:25 -10:00
Lev Nachmanson
d3a576411f t1 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
 2025-12-03 11:16:25 -10:00