CUDD_Distributed: Only re-build weights if bdd changed.
CUDD_Distributed: Only re-build weights if bdd changed.

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