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
Tue May 12 18:47:58 MDT 1998