Florent Diedler has released a new version of Sokolution - one of the best Sokoban solvers.
Change log for this new version:
- Fix solution length for optimal searches
- Adjust some internal parameters to get more level solved
- Add a parameter --solver-strong-deadlock that allows to do more deadlock detections but slows down the search
The solver can also be used from Sokoban YASC for those who like to use a GUI.
The solver can be downloaded from the Sokolution website.
You can find details about which levels have been solved in the Sokoban Wiki.