Sokolution version 5.1 has been published

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 .