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