Keywords: cuddIntro

Next: Basic Data Structures Up: User's Manual Previous: User's Manual

## Compiling and Linking

To build an application that uses the CUDD package, you should add

    #include "util.h"
    #include "cudd.h"

to your source files, and should link `libcudd.a` , `libmtr.a` , `libst.a` , and `libutil.a` to 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.