Created attachment 142326 [details] saved game where the solver errs SUMMARY Solver declares not winnable, but it is. STEPS TO REPRODUCE 1. Load saved game (file attached) 2. move two of clubs onto three of diamonds 3. OBSERVED RESULT Before the move solver declares "This game is no longer winnable", after the move solver says "This game is winnable". It is in fact winnable to the end. EXPECTED RESULT Well, if it's winnable then the solver should not say otherwise, right? SOFTWARE/OS VERSIONS Linux/KDE Plasma: (available in About System) KDE Plasma Version: KDE Frameworks Version: Qt Version: ADDITIONAL INFORMATION
Created attachment 142391 [details] second similar example Here's a second game with the same phenomenon, this time it's a reversible move that goes between two positions, one the solver says is winnable, the other it says is not winnable. Specifically when you load it it is "no longer winnable", when you move one of the two jacks of spade onto the rightmost column it becomes "winnable" (and I played it through, it is winnable)