1 // -*- c++ -*-
2 //*****************************************************************************
3 /** @file cudd.h
4  *
5  * @author Alexander Dreyer
6  * @date 2001-07-13
7  *
8  * Forwarding header for cudd.h
9  * (PolyBoRi needs a specific version of Cudd.)
10  *
11  * @par Copyright:
12  *   (c) 2011 by The PolyBoRi Team
13  *
14 **/
15 //*****************************************************************************
16 
17 #ifndef polybori_cudd_cudd_h_
18 #define polybori_cudd_cudd_h_
19 
20 #include "../../../../cudd/cudd.h"
21 
22 #endif
23