If you plan to use the CUDD package as a clear box (for instance, you want to write a procedure that traverses a decision diagram) you need to add
#include "cuddInt.h"to your source files. In addition, you should link
libcudd.ato your executable. Some platforms require specific compiler and linker flags. Refer to the Makefile in the top level directory of the distribution.