Decision Diagrams (DDs)

Entry 1

	Entry Name:	BDD Portal
	Groups/PIs:	Prof. Dr. sc. Christoph Meinel at Univ. Trier
	Status:	available

---

Entry 2

	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 3

	Entry Name:	BuDDy
	Groups/PIs:	Jørn Lind-Nielsen at IT Kopenhagen
	Status:	Version 2.0

---

Entry 4

	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 5

	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

---