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
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!