<HTML>
<HEAD><TITLE>The cudd package: Overview</TITLE></HEAD>
<BODY>

<H1>The cudd package</H1>
<H2>The University of Colorado decision diagram package.</H2>
<H3>By Fabio Somenzi</H3>

<UL>
 <LI> <A HREF="cuddExt.html" TARGET="_top">
    Information for programmers</A>
 <LI> <A HREF="cuddAllByFunc.html" TARGET="_top">
    Information for developers sorted by function</A>
 <LI> <A HREF="cuddAllByFile.html" TARGET="_top">
    Information for developers sorted by file</A>
</UL>

<HR>

External functions and da