Florent Diedler has released a new version of Sokolution - one of the best Sokoban solvers.
This version can solve all 90 XSokoban levels! Congratulations!
Change log for this new version:
- Improved global solving
- Solving times are now correct and take into account the MPDB computation at the begining of the search
- There is a parameter to set the number of cores used for the generation of the MPDB
- Fix of minor bugs
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 Wiki .