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 .