Optimize SAT assumption handling and Saturation queue#827
Open
EpsilonPhoenix wants to merge 9 commits intovprover:masterfrom
Open
Optimize SAT assumption handling and Saturation queue#827EpsilonPhoenix wants to merge 9 commits intovprover:masterfrom
EpsilonPhoenix wants to merge 9 commits intovprover:masterfrom
Commits
Commits on Mar 18, 2026
- committed
- committed
optimize Saturation queue & bound ClauseQueue to MAX_HEIGHT & keep LRS from having zero denominators
committed- committed
- committed
- committed
Commits on Mar 20, 2026
Commits on Mar 24, 2026
- committed