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

[Tinelli, Cesare]

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