2 <HEAD><TITLE>Package Documentation
</TITLE></HEAD>
4 <H1>Package Documentation
</H1><HR><TABLE CELLSPACING=
0 CELLPADDING=
1>
6 <TD VALIGN=top
><A HREF=
"dddmpDesc.html" TARGET=
"MAIN"><CODE>dddmp
</CODE></A></TD>
7 <TD VALIGN=top
>Functions to read in and write out BDDs, ADDs
12 Last updated on
1040218 17h15