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.

Ce projet est une mémoire de thèse universitaire qui compile les résultats d'une recherche scientifique. Il sert de support à la validation d'un diplôme de doctorat en présentant les hypothèses, méthodes, analyses et conclusions d'un travail de recherche approfondi dans un domaine académique spécifique.