Python library to work with BDDs (Binary Decision Diagrams)
Primary LanguageC
Pyhton library to work with BDDs (Binary Decision Diagrams)