LM-Solve is a solver for Logic Mazes I wrote. This presentation would cover:

1. Its history.
2. Technologies used by it.
3. Architecture
4. Exotic Bugs
5. (optionally) Extending it to solve a new kind of puzzle.

You can find the slides online here:

http://vipe.technion.ac.il/~shlomif/lecture/LM-Solve/slides/