ta strucures of the CUDD package.
  <ul>
  <li> To turn on the gathering of statistics, define DD_STATS.
  <li> To link with mis, define DD_MIS.
  </ul>
  Modified by Abelardo Pardo to interface it to VIS.

<HR>

Last updated on 20120204 17h33

</BODY>
</HTML>
writing ./cuddExt.html
