Binary_Decision_Diagrams