1 files changed, 61 insertions, 0 deletions
diff --git a/abc70930/src/bdd/cudd/module.make b/abc70930/src/bdd/cudd/module.make
new file mode 100644
index 00000000..c526a50e
--- /dev/null
+++ b/abc70930/src/bdd/cudd/module.make
@@ -0,0 +1,61 @@
+SRC +=  src/bdd/cudd/cuddAPI.c \
+    src/bdd/cudd/cuddAddAbs.c \
+    src/bdd/cudd/cuddAddApply.c \
+    src/bdd/cudd/cuddAddFind.c \
+    src/bdd/cudd/cuddAddInv.c \
+    src/bdd/cudd/cuddAddIte.c \
+    src/bdd/cudd/cuddAddNeg.c \
+    src/bdd/cudd/cuddAddWalsh.c \
+    src/bdd/cudd/cuddAndAbs.c \
+    src/bdd/cudd/cuddAnneal.c \
+    src/bdd/cudd/cuddApa.c \
+    src/bdd/cudd/cuddApprox.c \
+    src/bdd/cudd/cuddBddAbs.c \
+    src/bdd/cudd/cuddBddCorr.c \
+    src/bdd/cudd/cuddBddIte.c \
+    src/bdd/cudd/cuddBridge.c \
+    src/bdd/cudd/cuddCache.c \
+    src/bdd/cudd/cuddCheck.c \
+    src/bdd/cudd/cuddClip.c \
+    src/bdd/cudd/cuddCof.c \
+    src/bdd/cudd/cuddCompose.c \
+    src/bdd/cudd/cuddDecomp.c \
+    src/bdd/cudd/cuddEssent.c \
+    src/bdd/cudd/cuddExact.c \
+    src/bdd/cudd/cuddExport.c \
+    src/bdd/cudd/cuddGenCof.c \
+    src/bdd/cudd/cuddGenetic.c \
+    src/bdd/cudd/cuddGroup.c \
+    src/bdd/cudd/cuddHarwell.c \
+    src/bdd/cudd/cuddInit.c \
+    src/bdd/cudd/cuddInteract.c \
+    src/bdd/cudd/cuddLCache.c \
+    src/bdd/cudd/cuddLevelQ.c \
+    src/bdd/cudd/cuddLinear.c \
+    src/bdd/cudd/cuddLiteral.c \
+    src/bdd/cudd/cuddMatMult.c \
+    src/bdd/cudd/cuddPriority.c \
+    src/bdd/cudd/cuddRead.c \
+    src/bdd/cudd/cuddRef.c \
+    src/bdd/cudd/cuddReorder.c \
+    src/bdd/cudd/cuddSat.c \
+    src/bdd/cudd/cuddSign.c \
+    src/bdd/cudd/cuddSolve.c \
+    src/bdd/cudd/cuddSplit.c \
+    src/bdd/cudd/cuddSubsetHB.c \
+    src/bdd/cudd/cuddSubsetSP.c \
+    src/bdd/cudd/cuddSymmetry.c \
+    src/bdd/cudd/cuddTable.c \
+    src/bdd/cudd/cuddUtil.c \
+    src/bdd/cudd/cuddWindow.c \
+    src/bdd/cudd/cuddZddCount.c \
+    src/bdd/cudd/cuddZddFuncs.c \
+    src/bdd/cudd/cuddZddGroup.c \
+    src/bdd/cudd/cuddZddIsop.c \
+    src/bdd/cudd/cuddZddLin.c \
+    src/bdd/cudd/cuddZddMisc.c \
+    src/bdd/cudd/cuddZddPort.c \
+    src/bdd/cudd/cuddZddReord.c \
+    src/bdd/cudd/cuddZddSetop.c \
+    src/bdd/cudd/cuddZddSymm.c \
+    src/bdd/cudd/cuddZddUtil.c