Hacker News Reader

It's called "Loopy" in Simon Tatham's puzzle collection (see my other comment), it's open source and includes a level generator.

Why not write a generator first? :)

The most fun part is when you get to use the Jordan curve theorem (using the parity of an intersecting ray).