JSoko is a Java program for playing the Sokoban game. 

It's developed as an open source program at www.sourceforge.net

Current version of JSoko is 1.94

Latest Sokoban News

Festival version 1.1 has been published

Festival is a Sokoban solver written by Yaron Shoham.
It is based on the novel FESS search algorithm (to appear in CoG 2020).

Festival is the first Sokoban solver that solves all 90 levels of the XSokoban benchmark!

The new Festival 1.1 version has been optimized for speed and memory consumption.
Since this new version is a 64-bit application the program may now use about 3GB of memory.
Festival 1.1 solves 2970 of the 3272 levels included in the standard Large Test Suite.

See how Festival scores in other level sets in the solvers statistics wiki page.

You can download the solver from the Festival website.

The download also contains a file to install the solver into Sokoban YASC. For more information please visit the Festival website.

Thanks Yaron, for this fantastic Sokoban solver!


Sokolution version 4.02 has been published

Florent Diedler has released a new version of Sokolution - one of the currently best Sokoban solvers.


This version can push-optimal solve:

  • 54 / 90 XSokoban levels (time limit : 10 minutes)
  • 59 / 90 XSokoban levels (time limit : 60 minutes)


Change log for this new version:

  • Fixed a bug reported by Ming regarding a larger H cost in some big levels
  • Improved a bit the search for optimal solutions (ASTAR and IDA)

You can find details about which levels have been solved in the  Wiki .


Special version of Takaken solver

Ken'ichiro Takahashi (Takaken) has published a special version of his solver which displays the next goal the solver has selected for trying pushing a box to.


This version is interesting for solver developers since it's possible to see how the solver selects goal after goal.



The new version only supports Japanese texts. To see the Japanese texts you can use a language emulator like Locale Emulator.


On his website you find a description and example screenshots of this feature and also the exe-file of this special solver version.


This is a sceenshot of how it looks when the solver has highlighted some of the goals as "next goals to push a box to":


What is Sokoban