Commit 2023-10-23 22:39 eb688717
View on Github →feat: allow configuration of discharger for rw? (#7798)
It's pretty minor configuration: you can choose between no discharger, assumption
, or solve_by_elim
.
Moreover it's only configurable in the plumbing, not the porcelain.
Both of these are intentional. I'll happily review PRs that add user-facing customisation.