An optimised solver for Sokoban (aka. Boxworld). The solver provides a graphical interface to edit levels and display their solutions.