/SMT-LIB-2

Public reference documents for the SMT-LIB standard

Primary LanguageTeX

Content

This repository contains the official versions of the following

  • The SMT-LIB 2.6 language reference
  • The SMT-LIB 2.6 theories
  • The SMT-LIB 2.6 logics