next up previous index
Next: Programmer's Manual Up: User's Manual Previous: Writing Decision Diagrams to

Saving and Restoring BDDs

 

The dddmp library  by Gianpiero Cabodi and Stefano Quer allows a CUDD application to save BDDs to disk in compact form for later retrieval. See the library's own documentation for the details.



Fabio Somenzi
Thu Sep 24 23:44:34 MDT 1998