Name		Name	Last commit message	Last commit date
Logics		Logics
Reference		Reference
Theories		Theories
.gitignore		.gitignore
README.md		README.md
change_history.txt		change_history.txt
release_history.txt		release_history.txt
smt-lib-reference.pdf		smt-lib-reference.pdf

Repository files navigation

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

About

Public reference documents for the SMT-LIB standard

Custom properties

22 stars

9 watching

Report repository

Releases

Packages

Contributors

Languages