... Tools
- The DDDMP package
It defines formats for DD storage on file, and it contains a set
of functions to dump DDs and DD forests on file.
- version 1.0: dddmp-1.0.tar.gz
Version for Cudd version 2.2.0.
In the present implementation, only BDDs (ROBDDs) of the CUDD package
are supported.
- version 1.1: dddmp-1.1.tar.gz
Version for Cudd version 2.3.0.
Same characteristics of the previous version.
- version
2.0.0: dddmp-2.0.0.tar.gz
Version for Cudd version 2.3.1.
This version supports ADD and Conjunctive
Normal Form (CNF) formats.
More specifically ADDs within CUDD can be
stored
to files and loaded back. Moreover BDDs can be stored as CNF formulas
using
different storing strategies. See the RELEASE_NOTES file within the
package
for more information on the topic.
- version 2.0.1: dddmp-2.0.1.tar.gz
Same as version 2.0.0 with bux fixes.
- version 2.0.2
(February 2004): dddmp-2.0.2.tar.gz
Same as version 2.0.0 but
- With bug fixes
- For Cudd - version 2.4.0.
(Also released within Cudd version 2.4.0).
- version 2.0.3
(October 2005): dddmp-2.0.3.tar.gz
Same as version 2.0.2 but with some more fixes.
- The PdTRAV package
PdTRAV is a BDD based traversal tool created at Politecnico di
Torino.
It is intended as a library, and includes a simple user interface for
stand-alone
usage. It is written in C for the symbolic manipulation FSMs.
Currently,
CUDD is used as low level BDD library.
- version 1.2
Politecnico di Torino Reachability Analysis And Verification
tool
from Gianpiero Cabodi and Stefano Quer, Version 1.2.
pdtrav.ps.gz, : Main PostScript
decument
for PdTRAV (it is also present in the package distribution)
pdtravLetter.ps.gz, : Main
PostScript
decument for PdTRAV in LETTER (USA) format (it is also present in the
package
distribution)
pdtrav-1.2.tar.gz
- version 2.0 Beta
Politecnico di Torino Reachability Analysis And Verification tool
from Gianpiero Cabodi and Stefano Quer, Version 2.0Beta (15 May 2001).
pdtrav-2.5.tar.gz
- version 2.5 (static executable)
Politecnico di Torino Reachability Analysis And Verification tool
from Gianpiero Cabodi and Stefano Quer and Sergio Nocco.
Static Version 2.5 (15 July 2010).
It includes a static executable, a README and a LICENSE file.
pdtrav-2.5.tar.gz
Back to Stefano Quer's Home Page