RufasSok
Sokoban with many families of puzzles provided.
... of the window. ReZero (z) creates a setpoint[=saved_configuration] so that (r) will later restore that setpoint.
To move the "pusher" use the arrow keys. The objective is to push all the red squares or rubies onto the green positions.
Comes with dozens of families of puzzles, each family having dozens of levels.
Also see https://sourceforge.net/projects/worldcupsokerban/
The proper command to extract the archive and maintain the directory structure is "7z x filename".