Next: User's Manual
Up: How to Get CUDD
Previous: The CUDD Package
Two CUDD extensions are available via anonymous FTP from
vlsi.Colorado.EDU.
- PerlDD is an object-oriented Perl5 interface to CUDD. It
is organized as a standard Perl extension module. The Perl interface
is at a somewhat higher level than the C++ interface, but it is not
as complete.
- DDcal is a graphic BDD calculator based on CUDD,
Perl-Tk, and dot. (See Section 3.18 for information on
dot.)
Fabio Somenzi
Thu Sep 24 23:44:34 MDT 1998