MuDDy patch

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.

Sanjit Seshia,