someone showed me this very user friendly sokobon game. Apparently it's also a solving tool (can literally solve levels for you by itself)
It comes with easy tutorial levels and gets pretty hard
Seems interesting. It's got a lot more options than I expected.
The installer didn't ask me where to install to, though, it just picked Program Files (x86) and the user Documents. I'm not too happy with that. But I can move it manually.