Language
- The SMT-LIB Standard: Version 2.6, by Clark Barrett, Pascal Fontaine, and Cesare Tinelli.
- Latest official release of Version 2.6 of the SMT-LIB standard. [ pdf | bib ]
- Previous releases: 2021-05-12; 2021-04-02; 2017-07-18
- The SMT-LIB Standard: Version 2.5, by Clark Barrett, Pascal Fontaine, and Cesare Tinelli.
- Latest official release of Version 2.5 of the SMT-LIB standard. [ pdf | bib ]
- Previous releases: 2015-05-28;
- The SMT-LIB v2 Language and Tools: A Tutorial, by David R. Cok.
- A tutorial on Version 2.0 of the language and on a number of SMT-LIB tools developed by the author. [ pdf ]
Previous Versions
The following earlier versions of the standard are subsumed by the current one and so are deprecated. They are listed here only for historical reasons.
- The SMT-LIB Standard: Version 2.0, by Clark Barrett, Aaron Stump, and Cesare Tinelli.
- Last official release of Version 2.0 of the SMT-LIB standard (9 Sep 9 2012).
- [ pdf | bib ]
- Previous releases (Change log): Version 2.0 21-12-10; 28-08-10; 30-03-10.
- 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 ]