YASS

YASS offers two independent features:
* Search for solutions of Sokoban puzzles.
* Search for improvements of existing solutions.

Solving and optimizing Sokoban puzzles are complicated tasks for a computer program, so the program can only handle small puzzles.

The solver can find push-optimal solutions for some small puzzles, whereas other puzzles may be solved without a push-optimality guarantee.

Please note that the found push-optimal solutions are not optimized for moves, i.e., there may be other solutions with the same number of pushes, but with fewer non-pushing moves.

YASS for Android can integrate with any Sokoban clone that supports solver plug-ins, like Soko++.

YASS for Android is based on YASS for Windows and other operating systems made by Brian Bamgaard. See the official download page: https://sourceforge.net/projects/sokobanyasc/