BuDDy est un package BDD (Binary Decision Diagram) permettant de simplifier la création et la manipulation de ces diagrammes, tout en optimisant la mémoire et les performances. Il a été développé dans le cadre d'une thèse de doctorat et est maintenant géré par Haim Cohen.