hbox
Sokoban solver written in Ada
...It is "generic" in the sense that it contains no domain specific strategies. It also provides a demonstration of the incredible power of the Hungarian Algorithm.
The proper command to extract the archive and maintain the directory structure is "7z x filename".