Solver plug-ins:
| YASS (Yet Another Sokoban Solver) plug-in | |
| Download (version 2.132) |
This is a solver made by Brian Damgaard, who is also author of the YASC Sokoban clone. The plug-in is distributed under GPL licence. See his home page for the source code. You can also download Sokoban YASC, and a command-line version of YASS there. |
| PocoSolv plug-in (1.0d) | |
| Download (also available in .zip file) |
PocoSolv is a solver made by David White. This version is now fully integrated with Sokoban++, so it works out-of-the-box. For more information and a command-line version of this solver you can see the PocoSolv homepage. This solver can also be downloaded in a .zip file, which is useful if you don't use Sokoban++. |
| BoxSearch plug-in | |
| (download is at Ge Yong's site) | The solver BoxSearch is made by Ge Yong. He has included a plug-in with his program. You can download his solver from Ge Yong's homepage. |
| Tse's Sokoban Solver plug-in | |
| Download | This is the solver that was included in previous versions of Sokoban++. For this to work you need to have Tse's Sokoban installed. Click here to download Tse's Sokoban. |
| Prolog Solver Generator | |
| Download | This is a solver for programmers only. It generates a solver for a level in the Prolog language. The solver is very bad, more than 2 boxes is taking way too long to solve. You need a Prolog compiler to run the generated solver, for example SWI-Prolog. From the prolog command prompt, simply type "solve." (including the dot) to start the solving. |
| Takaken Solver | |
| Download | This is a plug-in based on an older version of the Takaken solver (version 2.7). You probably don't need this, because the Takaken Solver included with Sokoban++ can use version 7.0 of Takaken's solver. |
If you want to make your own solver plug-in, download the development kit from the Download page on this website. With this kit an example with source code is included.