The following files have been modified to use CUDD in NuSMV

Makefile
./cudd/cudd.h
./sis/st.h
./sis/cuddBdd.h
./epd/epd.h
./include/dddmp.h
./include/mnemosyne.h
./include/cudd.h
./include/util.h
./include/mtr.h
./include/st.h
./dddmp/dddmp.h
./dddmp/dddmpInt.h
./st/st.h
./nanotrav/bnet.h
./nanotrav/ntr.h
./mnemosyne/mnemosyne.h
./mnemosyne/mnemconf.h
./util/util.h
./mtr/mtrInt.h
./mtr/mtr.h
./cudd/cuddZddGroup.c
./cudd/cuddAnneal.c
./cudd/cuddSolve.c
./cudd/cuddSplit.c
./cudd/cuddAndAbs.c
./cudd/cuddSymmetry.c
./cudd/cuddCache.c
./cudd/cuddLevelQ.c
./cudd/cuddGenetic.c
./cudd/cuddReorder.c
./cudd/cuddLinear.c
./cudd/cuddExact.c
./cudd/cuddGroup.c
./cudd/cuddAddNeg.c
./cudd/cuddClip.c
./cudd/cuddBddAbs.c
./cudd/cuddSubsetSP.c
./cudd/cuddApa.c
./cudd/cuddRef.c
./cudd/cuddSubsetHB.c
./cudd/cuddBddCorr.c
./cudd/cuddWindow.c
./cudd/cuddDecomp.c
./cudd/cuddZddMisc.c
./cudd/cuddApprox.c
./cudd/cuddLCache.c
./cudd/cuddZddLin.c
./cudd/cuddAddInv.c
./cudd/cuddBddIte.c
./cudd/cuddLiteral.c
./cudd/cuddInit.c
./cudd/cuddInteract.c
./sis/st.c
./sis/cuddPwPt.c
./sis/cuddBddPort.c
./epd/epd.c
./dddmp/dddmpNodeBdd.c
./dddmp/dddmpStoreBdd.c
./dddmp/testdddmp.c
./dddmp/dddmpBinary.c
./dddmp/dddmpConvert.c
./dddmp/dddmpDdNodeBdd.c
./dddmp/dddmpDdNodeCnf.c
./dddmp/dddmpNodeCnf.c
./dddmp/dddmpStoreCnf.c
./dddmp/dddmpStoreAdd.c
./dddmp/dddmpLoad.c
./dddmp/dddmpNodeAdd.c
./dddmp/dddmpUtil.c
./dddmp/dddmpDbg.c
./dddmp/dddmpLoadCnf.c
./st/st.c
./nanotrav/main.c
./nanotrav/ntrHeap.c
./nanotrav/ntrBddTest.c
./nanotrav/ntrZddTest.c
./nanotrav/bnet.c
./nanotrav/ntrMflow.c
./nanotrav/chkMterm.c
./nanotrav/ntr.c
./nanotrav/ucbqsort.c
./mnemosyne/mnemosyne.c
./mnemosyne/mtest.c
./mnemosyne/mnemalyse.c
./util/tmpfile.c
./util/pathsearch.c
./util/pipefork.c
./util/strsav.c
./util/prtime.c
./util/datalimit.c
./util/state.c
./util/texpand.c
./util/safe_mem.c
./util/test-res.c
./util/cpu_time.c
./util/saveimage.c
./util/cpu_stats.c
./util/stub.c
./util/test-sav.c
./util/getopt.c
./util/ptime.c
./mtr/mtrBasic.c
./mtr/mtrGroup.c
./mtr/testmtr.c
setup.sh
shutdown.sh

The following files have been added to the CUDD distribution
MODIFIED
lib
cudd/cuddAddOp.c (Added)
cudd/cuddBddOp.c (Added)

