The dddmp package

Functions to read in and write out BDDs, ADDs and CNF formulas from and to files.

By Gianpiero Cabodi and Stefano Quer



Last updated on 1040218 17h14