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.97
Ken'ichiro Takahashi (Takaken) has published "Sokoban Minimum Moves Solver Version 1.2",
a solver searching for minimum moves solutions.
It can process levels having at most 8 boxes.
Moreover, the last 20 moves are not displayed after solved, according to the website.
You can find more information and even the source code of this solver at his website.
This new Festival version fixes some minor issues that occurred in special levels.
Festival is a Sokoban solver written by Yaron Shoham.
It is based on the novel FESS search algorithm.
Festival is the first Sokoban solver that solves all 90 levels of the XSokoban benchmark!
See how Festival scores in other level sets in the solvers statistics Wiki page.
You can download the solver from the Festival website.
The download also contains a file to install the solver into Sokoban YASC.
For more information please visit the Festival website.
Thanks Yaron, for this fantastic Sokoban solver!