Since 18/11/2017, Sokolution has dethroned Takaken and can solve 3039 levels in the standard Large Test Suite. This was the world record !
Since 05/08/2020, Sokolution is beaten by Festival, the new solver by Yaron. Congratulations to Yaron for this fantastic solver !

Sokolution v6.02 - Download: Sokolution v6.02 Standalone version (Released 30/11/2022)

This version is a minor release from Sokolution v6.01

Change log :

• Fix crash in rare situations for optimal searches
• Fix penalty overflow in rare situations for optimal searches
• Fix a bug reported by Matthias M.

Sokolution v6.01 - Download: Sokolution v6.01 Standalone version (Released 31/10/2022)

This version is a minor release from Sokolution v6.0

Change log :

• Fix solution length for optimal searches
• Adjust some internal parameters to get more level solved
• Add a parameter --solver-strong-deadlock that allows to do more deadlock detections but slows down the search

Sokolution v6.0 - Download: Sokolution v6 Standalone version (Released 19/10/2022)

This version does not include algorithms (FESS) from Festival, the best existing Sokoban solver. It uses classical algorithms (Greedy, Astar...) with a lot of enhancements.
It should be as good as Festival 2.3

This version is able to solve all instance of IAG package.

Change log :

• Fix bug with --bench-path paramter, thanks to Brian
• Multithreaded version : Allow to use N cores for the solving. See the --solver-nb-cores parameter for more informations
• Improve global solving
• Optimize the loading of levels
• Fix minor bugs

Sokolution v5.11 Download: Sokolution v5.11 Standalone version (Released 30/11/2021)

Change log :

• Fix a race condition during solving. Thanks to Anian for reporting this issue !

Sokolution v5.1 Download: Sokolution v5.1 Standalone version (Released 19/11/2021)

This version does not include algorithms (FESS) from Festival, the best existing Sokoban solver. It uses classical algorithms (Greedy, Astar...) with a lot of enhancements.
This version can solve all XSokoban levels !

This version does not have the powerful penalty engine of previous versions. If you want to solve levels with push-optimality, please use Sokolution v5.01 or Sokolution 4.02 versions.

Description of the main script file sokolution.bat :

If you want to use Sokolution with its build-in script file (under Windows or using Wine under Linux), we can open the sokolution.bat file with a basic text editor like Notepad. Then you can set solving parameters like for example :

• maxTimeLimit -> Max solving time in seconds
• maxMemoryLimit -> Max memory used during the solving in bytes
• nbCores -> Set the number of cores used to compute the MPDB

Change log :

• Improve global solving
• Fix minor bugs
• Solving times are now correct and take into account the MPDB computation at the begining of the search
• Add a parameter to set the number of cores used for the generation of the MPDB

Sokolution v5.01 - Download: Sokolution v5.01 Standalone version (Released 24/06/2021)

This version can optimally (push-optimality) solve 51 / 90 levels for XSokoban set (time limit : 10 minutes)
This version can optimally (push-optimality) solve 58 / 90 levels for XSokoban set (time limit : 60 minutes)

This version does not include algorithms (FESS) from Festival, the best existing Sokoban solver. It uses classical algorithms (Greedy, Astar...) with a lot of enhancements.
This version can solve 89/90 of XSokoban package !

Description of the 3 script files :

• sokolutionBenchSingleFile.bat -> Use it to bench a single file with lots of levels inside (.sok, .txt, .txz or .xsb supported)
• sokolution.bat -> Use it to bench packages located in ressouces/levels/ folder (default settings : GREEDY in Bidirectional mode, time limit = 10 minutes, memory limit = 12 GB)
• sokolutionOptimal.bat -> Same as previous but to find optimal solutions (default settings: ASTAR in Forward mode, time limit = 60 minutes, memory limit = 12 GB)

Change log :

• Can now load "crazy" levels, i.e levels without surrounded by walls
• Add an "bench-out" parameter in order to specify the filename for storing the results of a bench

Sokolution v2.031 (plugin version) - Download: Sokolution v2.031 installer (Released 22/10/2019)

This version can solve 3050 / 3424 levels

The Multiple Pattern DataBase for X boxes called MPDB-X parameter is a pre-computation of deadlocks before the search starts. It computes all deadlocks created by X boxes. We can set the X value between 1 (very fast) and 4 (can be very long).

By default, Sokolution v2.X uses a MPDB-2 because it is really fast even for big levels and it helps a bit the solving process.

Please note that the MPDB generation cannot be canceled if you use YASC or Sokoban++.
Please also note that it uses threads and the CPU will be busy at 100% during this process.

Change log :

• Fix bug when using the IDA solving mode (thanks to Ralf for reporting this bug)
• Cyclic levels can now be solved (like GrigrSpecial #40)
• Unlock MPDB (Multiple Pattern Database) parameter
• Extended ASCII characters are now removed
• Settings are now properly displayed in a default console size (80 x 25)
• Improve deadsquare detection
• Improve tunnel detection

*** Copyright Florent DIEDLER 2016 - 2022 ***