distr/cudd/doc/cuddDesc.html

   1 <HTML>
   2 <HEAD><TITLE>The cudd package: Overview</TITLE></HEAD>
   3 <BODY>
   4
   5 <H1>The cudd package</H1>
   6 <H2>The University of Colorado decision diagram package.</H2>
   7 <H3>By Fabio Somenzi</H3>
   8
   9 <UL>
  10  <LI> <A HREF="cuddExt.html" TARGET="_top">
  11     Information for programmers</A>
  12  <LI> <A HREF="cuddAllByFunc.html" TARGET="_top">
  13     Information for developers sorted by function</A>
  14  <LI> <A HREF="cuddAllByFile.html" TARGET="_top">
  15     Information for developers sorted by file</A>
  16 </UL>
  17
  18 <HR>
  19
  20 External functions and data strucures of the CUDD package.
  21   <ul>
  22   <li> To turn on the gathering of statistics, define DD_STATS.
  23   <li> To link with mis, define DD_MIS.
  24   </ul>
  25   Modified by Abelardo Pardo to interface it to VIS.
  26
  27 <HR>
  28
  29 Last updated on 20090220 23h06
  30
  31 </BODY>
  32 </HTML>