ZDD fun

I finally released the source for my logic puzzle solvers using ZDDs. I was hoping to finish at least the Nurikabe solver first, but I lost interest.

Mirrors:

• http://github.com/blynn/zddfun/tree/master

• http://repo.or.cz/w/zddfun.git

I used the code to help construct the following Slither Link puzzle:

2...23
..3...
..3..2
.2.22.
....22
1..1.1

ZDDs are fascinating data structures, and using them to solve a logic puzzle is more fun than the puzzle itself. I hope to revisit them some day.