JSoko is a Java program for playing the Sokoban game.
It's developed as an open source program at www.sourceforge.net
Current version of JSoko is 1.87
Florent Diedler has released a new version of Sokolution - the currently best Sokoban solver.
This version can be used as a plugin for Sokoban YASC.
A comparison of the different solver programs can be found in the Wiki .