Sokoban YASC - A modern free Sokoban player
4f02 - An adaptation of the well-known "Sokoban" game
Sokoban++ - A free Sokoban player with 50 built in levels.
YSokoban - A classic but still maintained Sokoban player
Sokoban Online - Play Sokoban Games Online.
JSoko - JSoko is a Java program for playing the Sokoban game. It features path finding, auto push, auto solving, undo/redo, deadlock detection, and more.