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.