binary-decision-diagram (npm): A library to create, minimize and optimize binary decision diagrams
Keywords: binary decision diagram|bdd|robdd|truth table|binary-decision-diagram|binary-decision-diagrams|binary-decision-tree|mtbdd|truth-table