Sokolution version 6.02 has been published

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.