[SMT-LIB] Where to find Yices 1.0.29?

[Bruno Dutertre]

On 03/31/2016 10:28 AM, Zhoulai wrote:
> 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.
>

There's a no reason for anybody to use Yices 1.0.29.

It's actually easy to compile Alberto's SMT2 parser with Yices-1.0.40
as a back end. Change the first line of Makefile.in (as explained in
the README.txt). This should compile and work just fine.

By the way, you could also look at Yices 2.

Bruno

> So, where can I find Yices 1.0.29?  Thanks in advance.
>
> Zhoulai
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
>


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4049 bytes
Desc: S/MIME Cryptographic Signature
URL: </pipermail/smt-lib/attachments/20160331/0b0a51c5/attachment.p7s>