BuDDy est une bibliothèque C++ de deuxième génération dédiée aux Diagrammes de Décision Binaire (BDD). Développée initialement par Jorn Lind-Nielsen, elle permet de simplifier et d'optimiser des circuits logiques, d'analyser et de vérifier des systèmes numériques, ainsi que de réduire la complexité algorithmique.