distr/RELEASE.NOTES

   1 Release 2.4.2 of Cudd features several bug fixes.  The most important
   2 are those that prevented Cudd from making full use of up to 4 GB of
   3 memory when using 32-bit pointers.  A handful of bugs were discovered by
   4 Coverity.  (Thanks to Christian Stangier!)
   5
   6 This release can be compiled with either 64-bit pointers or 32-bit
   7 pointers on x86_64 platforms if sizeof(long) = sizeof(void *) = 8 and
   8 sizeof(int) = 4.  This is known as the LP64 model.  For 32-bit pointers,
   9 one usually needs supplementary libraries.  On Ubuntu and Debian Linux,
  10 one needs g++-multilib, which can be installed with
  11 "apt-get install g++-multilib."
  12
  13 Added functions
  14
  15 DdNode *Cudd_Inequality (DdManager * dd, int  N, int c, DdNode ** x,
  16 DdNode ** y);
  17
  18 DdNode * Cudd_Disequality (DdManager * dd, int  N, int c, DdNode ** x,
  19 DdNode ** y);
  20
  21 DdNode * Cudd_bddInterval (DdManager * dd, int  N, DdNode ** x,
  22 unsigned int lowerB, unsigned int upperB);
  23
  24 Changed prototypes:
  25
  26 int Cudd_DumpBlif (DdManager *dd, int n, DdNode **f, char
  27 **inames, char **onames, char *mname, FILE *fp, int mv);
  28
  29 int Cudd_DumpBlifBody (DdManager *dd, int n, DdNode **f, char
  30 **inames, char **onames, FILE *fp, int mv);
  31
  32 The additional parameter allows the caller to choose between plain blif
  33 and blif-MV.
  34
  35 ----------------------------------------------------------------------
  36
  37 Release 2.4.1 of Cudd features one major change with respect to previous
  38 releases.  The licensing terms are now explicitly stated.