Sokoban Solver is a project created for during my studies at Charles University. It is able to solve simple levels of the game Sokoban.
Source code - the complete project.
Documentation - a short text describing the project.