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.

Brian Damgaard has published a new version of his great and widely used Sokoban YASC program.

The release notes for this new version:

• Solver Plugin for Festival solver
  The plugin script for running the Festival solver program from Sokoban YASC has been updated to match version 3.0 of the solver.
  The solver program itself is not bundled with Sokoban YASC and must be downloaded from its own web page.
  Thanks to Yaron Shoham for supplying the necessary script changes.
• Minor changes

Festival is a Sokoban solver written by Yaron Shoham.
It is based on the novel FESS search algorithm.

It was the first Sokoban solver that solved all 90 levels of the XSokoban benchmark.

The solver is a 64-bit Windows program, written in C.

By default Festival version 3.0 uses 8 threads and 16GB of memory, but also supports other options.

The solvers statistics Wiki page shows how many levels the different solvers can solve.

You can download the solver from the Festival website.

The download also contains a file to install the solver into Sokoban YASC.
For more information please visit the Festival website.

Thanks Yaron, for this fantastic Sokoban solver!