Solver plug-ins:
| YASS (Yet Another Sokoban Solver) plug-in | |
| Download (version 2.146) |
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. |
| Sokolution plug-in | |
| (download is at Sokolution website) | This is a solver made by Florent Diedler. You can download the solver on the Sokolution website. Version 2.031 can be used in Sokoban++. To use the solver in Sokoban++, copy the downloaded solver DLL file to C:\Program Files (x86)\Sokoban++\solvers\. Sokolution v3.0 is a 64-bit application, so it can't work with (32-bit) Sokoban++. You can however use it as a standalone solver.
|
| Festival plug-in | |
| Download | This is a solver made by Yaron Shoham. You can download the solver on the Festival Sokoban Solver website. The solver can be used in Sokoban++ using the plug-in. |
| 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 (internet archive). |
| Takaken 7.3 Solver plug-in | |
| Download | The Takaken plugin included with Sokoban++ only supports Takaken Solver 7.2.2, this plugin allows you to use the newest version. You can download the solver from Takaken's site |
| 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.