SokoSolve is a Sokoban puzzle solver and related tools. Features include: Puzzle Solver, The Full Game, Level Editor, XML Puzzle & Solution Library, and general Analysis Tools. Soon this will also include a Level Generator. C# WIN32 (Windows).