Pacote para manipulação de Diagramas de Decisão Binários (BDDs) e estruturas similares
