Skip to content

feat: add solve-strategy to the manifest and solve#4789

Merged
tdejager merged 7 commits intoprefix-dev:mainfrom
bobozaur:feat/configurable-solve-strategy
Oct 26, 2025
Merged

feat: add `solve-strategy` to the manifest and solve#4789
tdejager merged 7 commits intoprefix-dev:mainfrom
bobozaur:feat/configurable-solve-strategy

Commits

Commits on Oct 22, 2025

Commits on Oct 24, 2025