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