[SMT-LIB] SMT-LIB 2.5 is out!

Tinelli, Cesare cesare-tinelli at uiowa.edu
Thu May 28 03:46:06 EDT 2015


Hi Alberto,

On 28 May 2015, at 02:01, Alberto Griggio <griggio at fbk.eu> wrote:

> First of all, thanks a lot!
> Just a minor glitch: the link seems to be broken. It points to
> 
>  http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-r150527.pdf
> 
> which does not exist. I suppose you meant
> 
>  http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-r150528.pdf
> 
That is correct. I have updated the webpage accordingly.

Thanks,


Cesare


> Alberto



More information about the SMT-LIB mailing list