Binary Decision Diagrams | lit.salon