Better heuristics for QPs#789

Merged

marcoeilers merged 3 commits into

meilers_qp_heuristics

Dec 20, 2023

Commits on Dec 20, 2023

Better heuristics for QPs
marcoeilers
committed
Putting the check inside a quantifier to avoid relying on the quantified variables being declared, and to avoid relying on any knowledge about them
marcoeilers
committed
Remove some foralls if possible to avoid some Z3 queries
marcoeilers
committed

⚡