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

[Martin Brain]

On Thu, 2015-05-28 at 06:41 +0000, Tinelli, Cesare wrote:
> 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.
> 
> Best,
> 
> 
> Cesare, Clark & Pascal

I'd like to take this opportunity to thank Cesare, Clark, Pascal and
everyone who contributed for their work on making this happen and
keeping the SMT-LIB standard alive and usable.

Cheers,
 - Martin