Thursday, July 30, 2009

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.


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


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.