source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/RELEASE_NOTES @ 4597

Last change on this file since 4597 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 2.1 KB
Line 
1RELEASE NOTES FOR DDDMP
2Revision: Version 2.0.2
3Turin, Italy, February 01, 2004
4
5dddmp-2.0.2 is now available at
6WEB page: http://staff.polito.it/{gianpiero.cabodi,stefano.quer}
7dddmp-2.0.2 has a few bug fixes with respect to dddmp-2.0
8   
9Release 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
Note: See TracBrowser for help on using the repository browser.