2 <HEAD><TITLE>The cudd Package for Programmers
</TITLE></HEAD>
4 <FRAMESET ROWS=
"5%,90%,5%">
5 <FRAME SRC=
"cuddTitle.html">
6 <FRAMESET COLS=
"40%,60%">
7 <FRAME SRC=
"cuddExtAbs.html" NAME=
"ABSTRACT">
8 <FRAME SRC=
"cuddExtDet.html" NAME=
"MAIN">
10 <FRAME SRC=
"credit.html">