Don't delete the constraints that the solver couldn't satisfy - #2
Open
BoykoNeov wants to merge 2 commits into
Open
Don't delete the constraints that the solver couldn't satisfy#2BoykoNeov wants to merge 2 commits into
BoykoNeov wants to merge 2 commits into
