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

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

Upload of the CUDD library.

File size: 1.5 KB
Line 
1README file for the DDDMP-2.0 package
2Revision: Version 2.0.2, February 01, 2004
3
4
5
6WHAT IS DDDMP
7=============
8
9The DDDMP package defines formats for DD storage on file, and it contains a
10set of functions to dump DDs and DD forests on file.
11
12In the version 1.0, only BDDs (ROBDDs) of the CUDD package (version 2.2.0
13or higher) were supported.
14The version 2.0 includes supports for ADDs and CNF formulas.
15The version 2.0.2 is for bug fixes.
16
17
18
19MAKE DDDMP
20==========
21
22Before you build the libraries and programs, you need to check the
23Makefile in the top directory.
24Go through the definitions contained in the configuration section, and
25select the desired compiler and compilation flags.
26Instructions are provided in the comments of the Makefile.
27
28Then run "make".
29This should produce the dddmplib.a library.
30
31
32
33DOCUMENTATION
34=============
35
36Directory dddmp/doc contains HTML documentation for the package.
37The recommended starting point is package.html.
38Documentation in both postscript format and plain text format is also
39provided.
40
41
42
43FTP SITE
44========
45
46The package is singularly available from the author home page:
47http://staff.polito.it/{gianpiero.cabodi,stefano.quer}
48
49
50
51
52FEEDBACK
53========
54
55Send feedback to:
56
57Stefano Quer & Gianpiero Cabodi
58Politecnico di Torino
59Dip. Automatica e Informatica
60C.so Duca degli Abruzzi 24
61I-10129  Torino
62Italy
63E-mail: {gianpiero.cabodi,stefano.quer}@polito.it
64WEB page: http://staff.polito.it/{gianpiero.cabodi,stefano.quer}
Note: See TracBrowser for help on using the repository browser.