Sokolution version 3.02 has been published

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

Change log :

• Change log :

  • Improve solving time due to duplicate entries in the deadlock database
  • Improve the MPDB (Multiple Pattern Database) for 3 and 4 boxes
  • Add a 'lost' idea to improve the backward search. Now I can find sophisticated deadlocks near the goal area but it costs extra solving time...

Sokolution 3.02 can now solve even more levels. The details can be found in the  Wiki .