RufasSok
Sokoban with many families of puzzles provided.
This is a minimalist version of the Sokoban puzzle game that runs on Windows, OSX, and Linux.
The best thing about this game that is different:
you can use the built-in solvers a little bit..
Sometimes I want to know the best next move or two, but no more.
Other times I want to solve part way and watch the solver step
thru the remainder of the solution at whatever speed I choose.