SMT-LIB The Satisfiability Modulo Theories Library

Benchmarks

The latest release of the SMT-LIB benchmark library is hosted on Zenodo under the SMT-LIB community.

The latest release of the benchmark library is also available on StarExec.

For details on how to submit benchmarks to SMT-LIB, please refer to the README file in the benchmark-submission SMT-LIB GitHub repository.

May 12, 2021

A new release of the the SMT-LIB 2.6 reference document is now available. This is a minor release addressing a minor error in the 2021-04-02 release.

April 2, 2021

A new release of the SMT-LIB 2.6 reference document is now available. This is a minor release addressing a few errors in the 2017-07-18 release.

Feb 11, 2020

A theory of Unicode character strings and regular expressions has been added to the set of SMT-LIB theories.

[More]