Game developers and AI researchers struggle to efficiently solve complex puzzle games for testing and validation

Developers and researchers need to automatically solve puzzle games like Sokoban to test AI algorithms, validate game difficulty, and benchmark performance, but existing solutions are either too slow, require manual configuration, or don't scale to complex puzzle variations. Current approaches lack efficient, accessible tools that can quickly generate solutions for testing purposes without significant computational overhead.