Zero-suppressed decision diagram
Python
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
README.rst
all_bits.py
bdd.py

README.rst

BDD and ZDD

sample impl. of:

  • Binary Decision Diagram
  • Zero-suppress Binary Decision Diagram