PolyBoRi
cudd.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
15 //*****************************************************************************
16 
17 #ifndef polybori_cudd_cudd_h_
18 #define polybori_cudd_cudd_h_
19 
20 #include "polybori/cudd/prefix.h"
21 #include <cudd/cudd.h>
22 
23 #endif