User:Heiner
From Sokoban Wiki
Hello Sokoban-Fans!
While I also have written a sokoban solver program, it is not the usual kind, that tries hard to find some solution at all, but I rather restrict to brute force methods, i.e. I only generate push-optimal solutions.
Also, no graphics.
Sometime I will publish the program (written in C), but currently I do not yet feel so.