Le projet javabdd est une bibliothèque Java dédiée à la manipulation de fonctions booléennes sous forme de réseaux de décision BDD (Binary Decision Diagrams). Il permet de construire, manipuler et analyser des fonctions booléennes complexes, de rechercher des ensembles satisfaisants et de calculer des profils de variables.