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 .