algebraic-decision-diagrams