Skip to content

Don't delete the constraints that the solver couldn't satisfy - #2

Merged
BoykoNeov merged 2 commits into
masterfrom
fix-failed-solve-deletes-constraints
Aug 9, 2026
Merged

Don't delete the constraints that the solver couldn't satisfy#2
BoykoNeov merged 2 commits into
masterfrom
fix-failed-solve-deletes-constraints

Commits

Commits on Jul 27, 2026

Commits on Jul 29, 2026