This Sokoban solver works on tiny and simple Sokoban levels, lagging behind the several SOTA Sokoban solvers that are available.

http://www.sokobano.de/wiki/index.php?title=Solver_Statistic...