binary-decision-diagram