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.a
to
your executable. Some platforms require specific compiler and linker
flags. Refer to the Makefile in the top level directory of the
distribution.