chore: Do not collect unnecessarily into solution in `Solver`#439

Merged

maartenflippo merged 1 commit intomainfrom

chore/unnecessary-solution-cloning

May 6, 2026

Commits on May 1, 2026

fix: do not collect unnecessarily into solution
ImkoMarijnissen
committed