Sokolution 7.1 has been published

Florent Diedler has released new versions of Sokolution - one of the best Sokoban solvers.

Version 7.1 is a special version that only searches for push optimal solutions.

Release notes for version 7.1:

• Invert lines in the bench csv file for Brian's script
• Improve penalty engine thanks to Matthias : use an enhanced heuristic to detect complex penalties
• Misc improvements
• Fix some bugs

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

Sokolution version 6.34 and Sokolution 7.0 have been published

Florent Diedler has released new versions of Sokolution - one of the best Sokoban solvers.

Version 6.34 fixes some bugs compared to version 6.33

Version 7.0 is a special version that only searches for push optimal solutions.

Change log for version 6.34:

• Fix a rare memory corruption
• Fix a bug with symmetry (Thanks Matthias for reporting this bug)
• Fix a bug in diagonal deadlock

Release notes for version 7.0:

• Use a powerful penalty engine for trying to find optimal solutions
• Add a control to check if the solution is really optimal according to solutions found on Sokobano.de website. This control works only for XSokoban, Microban, Microban II and Sasquatch level sets
• Fix the parameter "nbCores" to limit the CPU load used by Sokolution
• Add informations for the user for the generation of the MPDB and MPPDB that could be long
• Misc improvements

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

YSokoban 1.850 has been published

George Petrov has published YSokoban 1.850.

The release notes for this new version:

• Bugfix: rare crash during export of solutions.
  

A feature comparison of the main Sokoban programs can be found in the Sokoban Wiki.