1 README file for the DDDMP-2.0 package
\r
2 Revision: Version 2.0.2, February 01, 2004
\r
9 The DDDMP package defines formats for DD storage on file, and it contains a
\r
10 set of functions to dump DDs and DD forests on file.
\r
12 In the version 1.0, only BDDs (ROBDDs) of the CUDD package (version 2.2.0
\r
13 or higher) were supported.
\r
14 The version 2.0 includes supports for ADDs and CNF formulas.
\r
15 The version 2.0.2 is for bug fixes.
\r
22 Before you build the libraries and programs, you need to check the
\r
23 Makefile in the top directory.
\r
24 Go through the definitions contained in the configuration section, and
\r
25 select the desired compiler and compilation flags.
\r
26 Instructions are provided in the comments of the Makefile.
\r
29 This should produce the dddmplib.a library.
\r
36 Directory dddmp/doc contains HTML documentation for the package.
\r
37 The recommended starting point is package.html.
\r
38 Documentation in both postscript format and plain text format is also
\r
46 The package is singularly available from the author home page:
\r
47 http://staff.polito.it/{gianpiero.cabodi,stefano.quer}
\r
57 Stefano Quer & Gianpiero Cabodi
\r
58 Politecnico di Torino
\r
59 Dip. Automatica e Informatica
\r
60 C.so Duca degli Abruzzi 24
\r
63 E-mail: {gianpiero.cabodi,stefano.quer}@polito.it
\r
64 WEB page: http://staff.polito.it/{gianpiero.cabodi,stefano.quer}
\r