A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram - View it on GitHub