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.