[Kde-games-devel] kpat - solver is wrong

[Parker Coates]

On Sat, Sep 4, 2010 at 10:28, Wolfgang Rohdewald wrote:
> Hi,
>
> I have a spider running, KPatience version 3.4.
> By just moving two cards around I can change the
> solver from saying "still winnable" to "dont know"
> and then "not winnable"
>
> and by moving the two cards back into the original
> position (not undoing moves, just doing legal moves)
> the game becomes solvable again.
> so one of both is obviously wrong.

It's a known issue. Either bug 228850 [1] or 185211 [2]. Try to
complete the game to find out whether the game is actually winnable or
not.

> How can I capture all data needed to reproduce this?
> I have the process still running.

All you need is a save game and a set of instructions to change the
state. Nothing fancier than that. :)

> Of course supposing somebody wants to look into it.
> I might if noone else does, but it would take some
> time until I have time so I still would need to know
> how to make this reproducable.

The KPat solvers are beyond me. I've poked around at them a couple
times, but that's all. Coolo's the only person with the real knowledge
to fix bugs there, but unfortunately he hasn't had time to do so in
probably a year. If you'd like to try it, you're more than welcome.

Parker

[1] https://bugs.kde.org/show_bug.cgi?id=228850
[2] https://bugs.kde.org/show_bug.cgi?id=185211