Sokoban solvers are programs that solve sokoban levels. There are many programs available that can solve Sokoban levels (see Sokoban solvers).
There are different solver types:
Usually a solver is designed to just find any solution. If the solution is to be optimized an optimizer program can be used (Optimizers).
To get an impression of what levels are solvable by which solver here are some statistics.
For copyrights, credits and redistribution of these statistics, please read the disclaimer.
Solver Statistics - Solved Levels | ||||||
---|---|---|---|---|---|---|
Collection | Author | Levels | BoxSearch | Takaken | YASS | JSoko |
Aymeric | Aymeric du Peloux | 282 | 282 | 282 | 282 | 282 |
BoxWorld | Various Authors | 100 | 87 | 98 | 89 | 82 |
Grigr2001 | Evgeny Grigoriev | 100 | 93 | 94 | 92 | 91 |
Grigr2002 | Evgeny Grigoriev | 40 | 37 | 36 | 38 | 34 |
GrigrSpecial | Evgeny Grigoriev | 40 | 39 | 40 | 40 | 39 |
Holland | David Holland | 81 | 56 | 64 | 58 | 55 |
Kenyam Set A | Kenya Maruyama | 52 | 48 | 50 | 50 | 45 |
Microban | David W. Skinner | 155 | 155 | 155 | 155 | 155 |
Microban II | David W. Skinner | 135 | 134 | 134 | 135 | 135 |
Sasquatch | David W. Skinner | 50 | 22 | 35 | 23 | 28 |
Sasquatch II | David W. Skinner | 50 | 16 | 32 | 18 | 18 |
Sasquatch III | David W. Skinner | 50 | 14 | 20 | 9 | 12 |
Sasquatch IV | David W. Skinner | 50 | 27 | 36 | 27 | 25 |
Sasquatch V | David W. Skinner | 50 | 30 | 36 | 31 | 25 |
Sasquatch VI | David W. Skinner | 50 | 30 | 31 | 24 | 26 |
Sasquatch VII | David W. Skinner | 50 | 30 | 31 | 27 | 25 |
SokEvo | Lee J Haywood | 107 | 107 | 107 | 107 | 107 |
SokHard | Lee J Haywood | 163 | 163 | 163 | 163 | 131 |
Sven | Sven Egevad | 1623 | 1170 | 1363 | 1234 | 1147 |
XSokoban | Thinking Rabbit, ... | 90 | 42 | 86 | 75 | 65 |
Y.M. Auto | Yoshio Murase | 52 | 52 | 52 | 52 | 52 |
Y.M. Handmade | Yoshio Murase | 54 | 54 | 54 | 52 | 50 |
Total | | 3424 | 2688 | 2999 | 2781 | 2629 |
The statistics show that the different solvers have advantages and disadvantages depending on the level type. Therefore it's worth trying several solvers when a level seems unsolvable. It's highly level-dependent on how a solver performs.
Sokoban =======
Sokoban (R) Registered Trademark of Falcon Co., Ltd., Japan Sokoban Copyright (C) 1982-2004 by Hiroyuki Imabayashi, Japan Sokoban Copyright (C) 1989, 1990, 2001-2004 by Falcon Co., Ltd., Japan
License =======
Redistribution and use of the Sokoban Solver statistics are permitted provided that the following conditions are met:
* Redistributions may not be sold, nor may they be used in a commercial product or activity. * Redistributions must reproduce the entire content of this disclaimer in the documentation and/or other materials provided with the distribution.
Credits (in no particular order) =================================
BoxSearch Copyright (C) 2007 by Ge Yong E-mail: [email protected] Web site: https://www.freewebs.com/gamesolver/
JSoko Copyright (C) by Matthias Meger E-mail: [email protected] Web site: https://www.sokoban-online.de
Sokoban Automatic Solver (aka Takaken solver) Copyright (C) 2002 - 200X Ken'ichiro Takahashi (aka takaken) E-mail: [email protected] Web site: https://www.ic-net.or.jp/home/takaken/e/soko/index.html
YASS - Yet Another Sokoban Solver and Optimizer - For Small Levels Copyright (C) 2007 by Brian Damgaard E-mail: [email protected] Web site: https://sourceforge.net/projects/sokobanyasc/
CosmoNotes, CosmoPoly, LOMA, MicroCosmos, MiniCosmos, NaboCosmos and PicoCosmos level sets Copyright (C) by Aymeric du Peloux. E-mail: [email protected] Web site: https://membres.lycos.fr/nabokos/
dh1, dh2, bagatelle, cantrip, and maelstrom level sets Copyright (C) by David Holland E-mail: unknown Web site: unknown
Microban, Mas Microban, Sasquatch, Mas Sasquatch, Sasquatch III, Sasquatch IV, Sasquatch V, Sasquatch VI and Sasquatch VII level sets. Copyright (C) by David W. Skinner E-mail: [email protected] Web site: https://users.bentonrea.com/~sasquatch/sokoban/
Grigr2001, Grigr2002 and GrigrSpecial level sets Copyright (C) by Evgeny Grigoriev (aka GRIGoRusha) E-mail: [email protected] Web site: https://grigr.narod.ru/
Kenyam Set A Copyright (C) 2000-2006 by Kenya Maruyama E-mail: [email protected] Web Site: https://www.geocities.jp/rmcsokoban/soko/skrmc_a.htm
SokEvo and SokHard level sets Copyright (C) 2002-2006 by Lee J Haywood E-mail: [email protected] Web Site: https://fruise.googlepages.com/sokoban.html
Sven level set Copyright (C) 2007 by Sven Egevad E-mail: [email protected] Web Site: unknown
Y.M. Auto and Y.M. Handmade level sets Copyright (C) Yoshio Murase E-mail: [email protected] Web Site: https://www.ne.jp/asahi/ai/yoshio/sokoban/index.html
Box World Copyright (C) 1998 by Jeng-Long Jiang E-mail: unknown Web Site: unknown
Sokofan Copyright (C) 2005-2007 by Eric Leung E-mail: [email protected] Web Site: https://www.freewebs.com/sokofan/
Sokoban YASC Copyright (C) 2007 by Brian Damgaard E-mail: [email protected] Web Site: https://sourceforge.net/projects/sokobanyasc/
YSokoban Copyright (C) 2007 by George Petrov E-mail: [email protected] Web Site: https://ygp.orgfree.com/sokoban.html
XSokoban Copyright (C) by Andrew Myers E-mail: [email protected] Web Site: https://www.cs.cornell.edu/andru/xsokoban.html
Trademarks ==========
Company names, brand names and product names are trademarks or registered trademarks of their respective holders.
Contact =======
E-mail: [email protected]