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

[Alberto Griggio]

Hi Cesare (and others),

> Dear all,
>
> We are pleased to announce the official first release of Version 2.5 of the SMT-LIB standard, which is now available from the SMT-LIB website (www.smt-lib.org).
>
> We thank again all of those who provided their feedback on the new version and on the document itself. We hope to have addressed satisfactorily most if not all of the concerns and requests we have received.
>
> As always, we welcome any further feedback you might have. We will use to improve later releases of the Version 2.5 document.

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

Alberto