推箱子工具是一款非常专业的推箱子游戏求解计算程序，利用它能够轻松计算流行的10乘10大小之内的各类推箱子难题。但是推箱子问题已经被证明是一种“NP-难的问题”，这是计算机领域中至今没有找到有效算法的一类著名难题。目前，根本不存在对所有推箱子问题都能有效求解的方法。

　　这款推箱子自动求解软件的特色是先进的死锁检测算法。死锁就是一旦把箱子推动到某些位置，一些箱子就再也无法推动或者无法推到目的点，比如四个箱子成2×2摆放。推箱子高手对何种情况引起死锁非常敏感，这样他们预先就知道决不能让某些局面形成，这也是高手高于常人的原因之一。我的工具能够检测出绝大部分这样的死锁，并且，由于对死锁的特征进行了高度提炼，能够检测出很多人也无法很快看穿的死锁。这样，工具的效率得到很大的提高。

【使用说明】

　　软件以求出一个解为目标，而不是求最优解。求最优解需要消耗更多的时间和内存，我认为得不偿失。

　　在“求解”菜单下面有四个命令是一直无效的，他们是：“求解算法0”，“求解算法1”，“求解算法3”，“算法0设定”。算法0，1是作者开发此工具时先前版本所用的算法，都不如“求解算法2”，仅仅供作者自己研究用。算法3是作者正在研究的一个算法，还有很多地方不完善。因为主要功能是求解，所以作者没有对界面进行精益求精的完善。

　　在“文件”菜单下有“打开文本格式文件”和“保存为文本格式文件”的功能。很多网上的推箱子游戏用文本格式保存题目，因此工具提供了支持。工具支持的文本格式文件的格式是：

　　每一行代表仓库的一行，不能有空行。

　　空格或‘='表示地板。每行最后连续的地板可以省略。

　　‘#’表示墙。

　　‘@’表示人。

　　‘$’表示箱子。

　　‘.’表示目的点。

　　‘*’表示在目的点上的箱子。

　　‘+’或‘%’表示在目的点上的人。

　　“编辑”菜单下的“目标人位置”是本工具的特色之一。在求解一些大型题目时，虽然不能直接使用本工具，但是可以把题目分解成若干个子目标，有些目标可以用工具求解。这时，仅仅把箱子推到位是不够的，往往要指定最终状态时人所在的位置。比如要让人通过一个充满箱子的通道，然后把箱子回复原状。这时这个命令就可以起作用，它指定最终状态时人必须在的位置。

　　工具界面使用不同颜色表示墙、箱子和人。在显示解答时，以推动一次箱子为一步，期间的人的移动不计。此时所有人所能到的格子用绿色填满。

　　在“试玩模式下”，移动人直接点击目标点即可，推动箱子的方法是鼠标右键点击箱子的目标点并且按住不放，然后点击左键。

　　Stage目录下提供一些推箱子的题目。其中有些是文本格式的。其中WVsoko目录下的题目由20603(仓库大师游戏的作者)提供。SoftStar目录下的关卡由网友金优转换。他的其他一些收藏整理或创作的关卡放在JinYou目录下。