Biddy je paket za obdelavo Boolovih funkcij, množic in relacij. Temelji na učinkoviti podatkovni strukturi binarni odločitveni graf (Binary Decision Diagram). Rezultati projekta so računalniška knjižnica (DLL za MS Windows, shared library za GNU/Linux), orodje za grafični prikaz BDD-jev in izboljšave algoritmov ter metod na področju teoretičnega računalništva. Biddy je prosto programje s splošnim dovoljenjem GNU. Ima široko uporabnost, na primer pri načrtovanju logičnih vezij in pri formalni verifikaciji komunikacijskih protokolov.