feat: Strict Ackermannization (bv_ac_eager) tactic for QF_UFBV#5657
Open
bollu wants to merge 11 commits intoleanprover:masterfrom opencompl:strict-ackermannization
+605
Commits
Commits on Dec 4, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 5, 2024
- committed
- committed