A library to create, minimize and optimize binary decision diagrams
github.com/pubkey/binary-decision-diagram
pubkey/binary-decision-diagram