Skip to content

Introduce outer norms to three stopping criteria#417

Merged
kellertuer merged 6 commits intomasterfrom kellertuer/extend-changelessOct 20, 2024