Florent Diedler has released a new version of Sokolution - one of the best Sokoban solvers.
Change log for this new version:
- Multithreaded version : Allow to use N cores for the solving.
See the --solver-nb-cores parameter for more informations
- Improve global solving
- Optimize the loading of levels
- Fix 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 Sokoban Wiki.