I haven't done any comparisons, but the BDDs in PyEDA are pure Python. Chances are that any C++ library (CUDD, ABCD, BuDDY, etc) will out-perform in time/space.

I haven't done any comparisons, but the BDDs in PyEDA are pure Python. Chances are that any C++ library (CUDD, ABCD, BuDDY, etc) will out-perform in time/space. Probably the most compelling feature is the ability to use IPython for visualization.