Sokolution version 4.02 has been published

Florent Diedler has released a new version of Sokolution - one of the currently best Sokoban solvers.

This version can push-optimal solve:

• 54 / 90 XSokoban levels (time limit : 10 minutes)
• 59 / 90 XSokoban levels (time limit : 60 minutes)

Change log for this new version:

• Fixed a bug reported by Ming regarding a larger H cost in some big levels
• Improved a bit the search for optimal solutions (ASTAR and IDA)

You can find details about which levels have been solved in the  Wiki .