set(SRC
  cuddAPI.c
  cuddAddOp.c
  cuddAddFind.c
  cuddAddIte.c
  cuddAndAbs.c
  cuddBddOp.c
  cuddAnneal.c
  cuddApprox.c
  cuddBddAbs.c
  cuddBddCorr.c
  cuddBddIte.c
  cuddBridge.c
  cuddCache.c
  cuddCheck.c
  cuddClip.c
  cuddCof.c
  cuddCompose.c
  cuddDecomp.c
  cuddEssent.c
  cuddExact.c
  cuddExport.c
  cuddGenCof.c
  cuddGenetic.c
  cuddGroup.c
  cuddInit.c
  cuddInteract.c
  cuddLCache.c
  cuddLevelQ.c
  cuddLinear.c
  cuddLiteral.c
  cuddRef.c
  cuddReorder.c
  cuddSat.c
  cuddSign.c
  cuddSolve.c
  cuddSplit.c
  cuddSubsetHB.c
  cuddSubsetSP.c
  cuddSymmetry.c
  cuddTable.c
  cuddUtil.c
  cuddWindow.c
  cuddZddCount.c
  cuddZddFuncs.c
  cuddZddGroup.c
  cuddZddIsop.c
  cuddZddLin.c
  cuddZddMisc.c
  cuddZddPort.c
  cuddZddReord.c
  cuddZddSetop.c
  cuddZddSymm.c
  cuddZddUtil.c
  )

cudd_add_headers(cudd.h cuddInt.h)
cudd_add_library(cudd ${SRC})
