Documents

Version 2

• 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.
  
  
• 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.
  
  Previous releases (Change log):
  • Version 2.0, 28-08-10
  • Version 2.0, 30-03-10

Previous Versions

• 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.
  
  Previous releases (Change log):
  • Version 1.2, 05-08-06
  • Version 1.1, 12-04-05
  • Version 1.1, 08-04-05
  • Version 1.1, 18-03-05
  • Version 1.0, 15-09-04
  • Version 1.0, 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.