New software releases  ·  08. February 2020

    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.