The CUDD backend also uses functions from CUDD_cudd
The CUDD backend also uses functions from CUDD_cudd

therefore we need to link against it explicitly

agra-uni-bremen/metaSMT,nbruns1/metaSMT,nbruns1/metaSMT,hoangmle/metaSMT,hoangmle/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT,hoangmle/metaSMT,agra-uni-bremen/metaSMT