To build an application that uses the CUDD package, you should add
#include "cudd.h"to your source files, and should link
libutil.ato your executable. (All these libraries are part of the distribution.) Some platforms require specific compiler and linker flags. Refer to the Makefile in the top level directory of the distribution.