distr/dddmp/doc/dddmpDesc.html

   1 <HTML>
   2 <HEAD><TITLE>The dddmp package: Overview</TITLE></HEAD>
   3 <BODY>
   4
   5 <H1>The dddmp package</H1>
   6 <H2>Functions to read in and write out BDDs, ADDs
   7     and CNF formulas from and to files.</H2>
   8 <H3>By Gianpiero Cabodi and Stefano Quer</H3>
   9
  10 <UL>
  11  <LI> <A HREF="dddmpExt.html" TARGET="_top">
  12     Information for programmers</A>
  13  <LI> <A HREF="dddmpAllByFunc.html" TARGET="_top">
  14     Information for developers sorted by function</A>
  15  <LI> <A HREF="dddmpAllByFile.html" TARGET="_top">
  16     Information for developers sorted by file</A>
  17 </UL>
  18
  19 <HR>
  20
  21
  22
  23 <HR>
  24
  25 Last updated on 1040218 17h14
  26
  27 </BODY>
  28 </HTML>