Language

The SMT-LIB Standard: Version 2.0, by Clark Barrett, Aaron Stump, and Cesare Tinelli.
Latest official release of Version 2.0 of the SMT-LIB standard.
[ pdf | bib ]
Previous releases (Change log): Version 2.0 21-12-10; 28-08-10; 30-03-10.
The SMT-LIB v2 Language and Tools: A Tutorial, by David R. Cok.
A tutorial on the language and on a number of SMT-LIB tools developed by the author.
[ pdf ]

Previous Versions

The following versions of the standard are subsumed by Version 2 and so are deprecated. They are listed here only for historical reasons.

The SMT-LIB Standard: Version 1.2, by Silvio Ranise and Cesare Tinelli.
Last release (30 Aug 2006) of Version 1.2 of the SMT-LIB standard.
[ pdf | bib ]
Previous releases (Change log): Version 1.2 05-08-06. Version 1.1 12-04-05; 08-04-05; 18-03-05. Version 1.0 15-09-04; 26-07-04.
The SMT-LIB Format: An Initial Proposal, by Silvio Ranise and Cesare Tinelli.
Proceedings of PDPAR'03, July 2003.
This is the initial proposal of the format, put forward during the PDPAR'03 workshop.
[ pdf | bib ]