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. 

A new JSoko version has been released.

Please check out the release notes.

As always: please report any bugs, problems or suggestions to: JSoko@mail.de

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!