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

Tinelli, Cesare cesare-tinelli at uiowa.edu
Thu May 28 02:41:27 EDT 2015


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




More information about the SMT-LIB mailing list