Festival is a Sokoban solver written by Yaron Shoham.
It is based on the novel FESS search algorithm.
It was the first Sokoban solver that solved all 90 levels of the XSokoban benchmark.
The solver is a 64-bit Windows program, written in C.
By default Festival version 3.0 uses 8 threads and 16GB of memory, but also supports other options.
The solvers statistics Wiki page shows how many levels the different solvers can solve.
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!