Skip to content

Tidy up some internals in the adaptive solver#826

Merged
pnkraemer merged 10 commits into
mainfrom
cosmetic-changes-in-adaptive-solver
Sep 7, 2025
Merged

Tidy up some internals in the adaptive solver#826
pnkraemer merged 10 commits into
mainfrom
cosmetic-changes-in-adaptive-solver