Support ADDs

[danvk]

Some of the libraries that dd wraps, like CUDD, support Algebraic Decision Diagrams (ADDs) in addition to BDDs. I was just curious whether there was interest in supporting these in dd. I'd rather prototype my idea in Python than C!

[johnyf]

On branch algebraic_cudd there is a Cython interface to the algebraic decision diagram (ADD) implementation of CUDD. This interface is experimental. The relevant module is dd.cudd_add. #99 is relevant to this branch.