pure Python support for Binary Decision Diagrams (BDDs)