py-dd has a native Python implementation, besides it can act as a wrapper over other bdd packages namely buddy, cudd and sylvan. The build process needed two interventions which are documented in TODO. I'll write separate email on each of those two issues. -- Mayuresh