Documents

• 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.