Refactor AbstractProver flags#679

Draft

baierd wants to merge 26 commits into

refactor_abstractProver_flags

Commits on Jun 9, 2026

Add default implementation of getUnsatCore() in AbstractProver that performs common checks before delegating to a new implementation method getUnsatCoreImpl() (that is implemented by all solvers th…
baierd
committed
Add default implementation of unsatCoreOverAssumptions() in AbstractProver that performs common checks before delegating to a new implementation method unsatCoreOverAssumptionsImpl() (that is imple…
baierd
committed
Reduce visibility of getModelImpl() and getEvaluatorImpl() as they should not be public
baierd
committed
Remove another redundant usage of checkGenerateModels() from MathSAT
baierd
committed
Add AllSat default impl in AbstractProver that calls the new method AllSatImpl after all common checks. AllSatImpl now handles all AllSat implementations and redundant checks are removed
baierd
committed

Commits on Jun 10, 2026

Commits on Jun 12, 2026

Merge branch 'handle_model_generation_api_through_impl_delegates' into add_common_impl_for_unsatCore_allSat
baierd
committed

Commits on Jun 14, 2026

Commits on Jun 15, 2026