/pybdd

Python library to work with BDDs (Binary Decision Diagrams)

Primary LanguageC

Watchers