On KakariSoft Pocket PC Games you can find a game/solver for Pocket PC.
It is commercial but in the trial version it still solves some of the problems in it's database.
It also lets you see step by step how the puzzle was solved and the logics used are explained in writing.