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: 0