BinaryDecisionDiagram.js