`Dddmp_Bin2Text()`
  Converts from binary to ASCII format
`Dddmp_Text2Bin()`
  Converts from ASCII to binary format
`Dddmp_cuddAddArrayLoad()`
  Reads a dump file representing the argument ADDs.
`Dddmp_cuddAddArrayStore()`
  Writes a dump file representing the argument Array of ADDs.
`Dddmp_cuddAddLoad()`
  Reads a dump file representing the argument ADD.
`Dddmp_cuddAddStore()`
  Writes a dump file representing the argument ADD.
`Dddmp_cuddBddArrayLoadCnf()`
  Reads a dump file in a CNF format.
`Dddmp_cuddBddArrayLoad()`
  Reads a dump file representing the argument BDDs.
`Dddmp_cuddBddArrayStoreBlif()`
  Writes a dump file representing the argument BDD in a Blif/Exlif notation.
`Dddmp_cuddBddArrayStoreCnf()`
  Writes a dump file representing the argument array of BDDs in CNF format.
`Dddmp_cuddBddArrayStorePrefix()`
  Writes a dump file representing the argument BDD in a prefix notation.
`Dddmp_cuddBddArrayStoreSmv()`
  Writes a dump file representing the argument BDD in a prefix notation.
`Dddmp_cuddBddArrayStore()`
  Writes a dump file representing the argument Array of BDDs.
`Dddmp_cuddBddDisplayBinary()`
  Display a binary dump file in a text file
`Dddmp_cuddBddLoadCnf()`
  Reads a dump file in a CNF format.
`Dddmp_cuddBddLoad()`
  Reads a dump file representing the argument BDD.
`Dddmp_cuddBddStoreBlif()`
  Writes a dump file representing the argument BDD in a Blif/Exlif notation.
`Dddmp_cuddBddStoreCnf()`
  Writes a dump file representing the argument BDD in a CNF format.
`Dddmp_cuddBddStorePrefix()`
  Writes a dump file representing the argument BDD in a prefix notation.
`Dddmp_cuddBddStoreSmv()`
  Writes a dump file representing the argument BDD in a prefix notation.
`Dddmp_cuddBddStore()`
  Writes a dump file representing the argument BDD.
`Dddmp_cuddHeaderLoadCnf()`
  Reads the header of a dump file representing the argument BDDs
`Dddmp_cuddHeaderLoad()`
  Reads the header of a dump file representing the argument BDDs

Last updated on 1040218 17h14