YASS

YASS is a comprehensive program for Sokoban puzzle enthusiasts. It provides a two-way solution for improving the existing puzzles or searching for solutions to new ones. Although solving and optimizing these puzzles can be challenging, the program can effectively handle small-scale puzzles. With YASS, you can achieve push-optimal solution for some small Sokoban puzzles, and for others, you can at least expect a solution. However, it is important to note that the program can't guarantee push-optimality for all puzzles.

It's important to note that push-optimal solutions don't guarantee optimized moves. There may be other solutions with the same number of pushes but fewer non-pushing moves. YASS for Android can integrate with any Sokoban clone that supports solver plug-ins including Soko++. The program is based upon YASS for Windows and other operating systems developed by Brian Damgaard. You can access the official download page at https://sourceforge.net/projects/sokobanyasc/ to install the program. So, if you are passionate about solving Sokoban puzzles efficiently, YASS is an excellent tool for you to explore.