#include "kure.h"to your source files, and should link
libkure.a, libcudd.a,
libmtr.a, libst.a, libutil.a, libepd.a and
libdddmp.a to your exectuable.
The library libkure.a is part of the distribution, the other
libraries belong to the CUDD package [CUDD].
Some platforms require specific compiler and linker flags.
Refer to the Makefile in the directory kure of the
distribution.