Sudoku solver using ZDDs.
tree315bb79e11c77f9b8832640a5691fdc8857dcca3
-rw-r--r-- 2957 zdd.c