1 files changed, 0 insertions, 61 deletions
diff --git a/src/bdd/cudd/module.make b/src/bdd/cudd/module.make
deleted file mode 100644
index c526a50e..00000000
--- a/src/bdd/cudd/module.make
+++ /dev/null
@@ -1,61 +0,0 @@
-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