[SMT-LIB] Where to find Yices 1.0.29?

[Zhoulai]

Hello,

Does someone knows a link to Yices 1.0.29?

In fact, I am trying to compile Griggio's "A Generic Parser for SMT-LIB v2"
(https://es-static.fbk.eu/people/griggio/misc/smtlib2parser.html).  Its
compilation needs Yices 1.0.29 as a sample back-end.  But Yices 1.0.29 is
hard to find today: It is not maintained; only the more recent 1.0.40 can
be downloaded (http://yices.csl.sri.com/old/download-yices1.shtml). BTW, I
have tried with 1.0.40, which does not seem compile well with Griggio's
parser.

So, where can I find Yices 1.0.29?  Thanks in advance.

Zhoulai