Documents

• The SMT-LIB Standard: Version 2.0 (DRAFT), by Clark Barrett, Aaron Stump, and Cesare Tinelli.
  Draft of the coming Version 2.0 of the SMT-LIB standard.
  The first official release of the document is expected by the end of February 2010.
  
  
• The SMT-LIB Standard: Version 1.2, by Silvio Ranise and Cesare Tinelli.
  Latest release (30 Aug 2006) of Version 1.2 of the SMT-LIB standard.
  
  
Change log

Previous releases:
• 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.