| Entry Name: | BDD Portal | |
| Groups/PIs: | Prof. Dr. sc. Christoph Meinel at Univ. Trier | |
| Status: | available |
| Entry Name: | The CUDD package: Binary DDs, Algebraic DDs and Zero-suppressed Binary DDs (documentation) | |
| Groups/PIs: | The VLSI group at U. Colorado, Boulder (Profs Hachtel, Somenzi and Khatri) | |
| Status: | Version 2.3.0 |
| Entry Name: | BuDDy | |
| Groups/PIs: | Jørn Lind-Nielsen at IT Kopenhagen | |
| Status: | Version 2.0 |
| Entry Name: |
DD Cal: a BDD calculator based on CUDD
| |
| Groups/PIs: | The VLSI group at U. Colorado, Boulder (Profs Hachtel, Somenzi and Khatri). | |
| Status: | Version 0.4 |
| Entry Name: |
PerlDD: an extension to Perl based on CUDD
| |
| Groups/PIs: | The VLSI group at U. Colorado, Boulder (Profs Hachtel, Somenzi and Khatri). | |
| Status: | Version 0.04 |