Binary decision diagrams | lit.salon