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.96
George Petrov has published YSokoban 1.840.
The release notes for this new version:
A feature comparison of the main Sokoban programs can be found in the Sokoban Wiki.
Festival is a Sokoban solver written by Yaron Shoham.
It is based on the novel FESS search algorithm.
Yaron has now published the conference paper describing the FESS algorithm and a more detailed paper about all the ideas used in the solver at the Festival website.
I sure, these papers are of huge interest for everybody interested in Sokoban solver programming!