Came here to upvote RoboZZle for the extra depth!

I once wrote a solver for RoboZZle: https://github.com/tasuk/zlej-rob

And a blog post: http://blog.tasuki.org/explorations-in-ai-solving-robozzle/