why an older version of z3 is asked?

[RUOKUNH]

I wonder why an older version of z3 is asked?
Is any change in new version disturb any part of sampling?
Thanks

[alwilson]

The patches to z3 here are for that particular version. So you need to checkout that version, apply the patch, and then you could play with git to replay history to the latest version. I ended up pulling that latest version and manually applying the patches, but there were issues there since variable names and locations and such had been changed. I think I still had to make some minor changes to smtsampler.cpp as well.