PolyBoRi
cudd.h File Reference
#include "polybori/cudd/prefix.h"
#include <cudd/cudd.h>

Go to the source code of this file.


Detailed Description

Author:
Alexander Dreyer
Date:
2001-07-13

Forwarding header for cudd.h (PolyBoRi needs a specific version of Cudd.)

Copyright:
(c) 2011 by The PolyBoRi Team
Author:
Alexander Dreyer
Date:
2001-07-13

Forwarding header for cuddInt.h (PolyBoRi needs a specific version of Cudd.)

Copyright:
(c) 2011 by The PolyBoRi Team