cudd.h File Reference

#include "../../../../Cudd/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