Bug 443584

Summary: yukon: solver declares impossible to win, but it's possible
Product: [Applications] kpat Reporter: Peter <petergoofingoff>
Component: solverAssignee: Stephan Kulow <coolo>
Status: CONFIRMED ---    
Severity: minor CC: kde-games-bugs-null, petergoofingoff
Priority: NOR    
Version First Reported In: 21.08.1   
Target Milestone: ---   
Platform: Other   
OS: Linux   
Latest Commit: Version Fixed/Implemented In:
Sentry Crash Report:
Attachments: saved game where the solver errs
second similar example

Description Peter 2021-10-11 09:33:42 UTC
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
Comment 1 Peter 2021-10-13 11:05:54 UTC
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)