We have found that MuDDy version 1.7 needs a minor modification
to work with Moscow ML 2.0 and with UCLID 0.1 .
To get it to work fine, please replace the files muddy.c and bdd.sig in the MuDDy v1.7 distribution with the following modified versions: muddy.c, bdd.sig .
We've been informed by the authors of MuDDy that the new version 2.0 should work without any patch. However, we have not yet had occasion to test this out.