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, sanjit+uclid@cs.cmu.edu