倉庫番の自動解法ソフトは何種類かあるようです。
Solver Statistics - Sokoban Wiki
この中で特に成績がよかったのはSokoban Automatic solver。
今回使用するデータがクリアできるかどうか確認してみたところ、全て問題ありませんでした。
今作っているものは一応、ゲームできるレベルまで作ってあります。
ソースを全体的に見直すだけなので金曜日あたりに発表できそうです。
結局、レジューム機能はやめてしまいました。
8x8サイズという小さなマップにいらないんじゃね?と悪魔天使のささやきが
聞こえだしたら作る気うせました(汗。
申し訳程度にメニュー画面だけはレジュームして、
初期画面をなくしています。