distr/dddmp/RELEASE_NOTES

   1 RELEASE NOTES FOR DDDMP
   2 Revision: Version 2.0.2
   3 Turin, Italy, February 01, 2004
   4
   5 dddmp-2.0.2 is now available at
   6 WEB page: http://staff.polito.it/{gianpiero.cabodi,stefano.quer}
   7 dddmp-2.0.2 has a few bug fixes with respect to dddmp-2.0
   8
   9 Release 2.0.2 of DDDMP improves DDDMP-1.2 in the following areas:
  10
  11   1. Support to store and load ADD has been inserted in the dddmp tool
  12
  13   2. Support to store BDDs as CNF formulas has been inserted in the
  14      dddmp tool.
  15      As far as the storing process is concerned three possible formats
  16      are available:
  17
  18      DDDMP_CNF_MODE_NODE
  19        store a BDD by introducing an auxiliary variable for each BDD node
  20
  21      DDDMP_CNF_MODE_MAXTERM
  22        store a BDD by following the maxterm of the represented function
  23
  24      DDDMP_CNF_MODE_BEST
  25        trade-of between the two previous solution, trying to optimize
  26        the number of literals stored.
  27
  28      As far as the loading process is concerned three possible formats
  29      are available:
  30
  31      DDDMP_CNF_MODE_NO_CONJ
  32        Return the Clauses without Conjunction
  33
  34      DDDMP_CNF_MODE_NO_QUANT
  35        Return the sets of BDDs without Quantification
  36
  37      DDDMP_CNF_MODE_CONJ_QUANT
  38        Return the sets of BDDs AFTER Existential Quantification
  39
  40   3. Functions to load the header of a BDD/ADD/CNF file, so collecting
  41      information regarding variables, variable ordering, etc.
  42      This can be seen as a pre-processing step prior a possible BDD/ADD/CNF
  43      load of the entire structure.
  44      Moreover it can be used in a manager initialization phase.
  45
  46   4. More precise information are stored in each BDD/ADD header during
  47      the storing phase.
  48      In particular this information may be used to make up the exact
  49      variable ordering present in the manager used during the storing
  50      phase.
  51      Full compatibility with previously versions of the files (from
  52      dddmp-1.0 on) is guaranteed.
  53
  54   5. Miscellaneous
  55      Debugging has been performed on different hardware architectures
  56
  57   6. The test program, testdddmp has been improved.
  58      Now it allows to perform more operations and to better debug the
  59      different options.
  60