Sokolution version 4.01 has been published

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


This version is just a small update that improves the detection of frozen PI-Corral and fixes small bugs that should not really impact the solving. 


Change log :

  • Improve frozen PI-Corral algorithm
  • Fix bug in header of the stats csv file
  • Fix the number of levels for Microban 2 in batch files

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

Write a comment

Comments: 2
  • #1

    VB (Tuesday, 30 June 2020 12:07)

    The same dumb terminal as others,,,

  • #2

    Matthias (Tuesday, 30 June 2020 13:11)

    Sokolution can be used as a plugin from Sokoban YASC (https://sourceforge.net/projects/sokobanyasc/files/sokobanyasc/)

    Then no terminal is needed to start the program.
    Everything can be done by using the GUI of Sokoban YASC.