https://bugs.kde.org/show_bug.cgi?id=323919 --- Comment #1 from Stephan Kulow --- the solver should not get in your way of solving and just be a aid. -- You are receiving this mail because: You are watching all bug changes.