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.
Festival version 2.4 supports using 1/2 or 4 CPU-cores.
On multi-core systems this can improve the performance of the solver.
By default it uses two cores and 8GB of memory.
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!