Florent Diedler has released a new version of Sokolution - one of the best Sokoban solvers.
Version 6.02 fixes some bugs for the push optimal solving method.
Change log for this new version:
- Fix crash in rare situations for optimal searches
- Fix penalty overflow in rare situations for optimal searches
- Fix a bug reported by Matthias M.
The solver can be downloaded from the Sokolution website.
You can find details about which levels have been solved in the Sokoban Wiki.