The SMT-LIB Initiative

SMT-LIB.github.io Public

Sources of www.SMT-LIB.org

SMT 0 4 0 3 Updated Jul 28, 2026

SMT-LIB-2 Public

Public reference documents for the SMT-LIB standard

TeX 22 3 16 0 Updated Jul 28, 2026

benchmark-submission Public

Repository for the submission of SMT-LIB benchmarks for the 2026 release.

SMT 1 10 0 2 Updated Jul 24, 2026

SMT-LIB-db Public

Tooling to build a database of all SMT-LIB benchmarks and their properties.

SMT 1BSD-3-Clause 1 3 0 Updated Apr 23, 2026

benchmark-submission-2025 Public archive

Repository for the submission of SMT-LIB benchmarks for the 2025 release.

SMT 6 11 1 0 Updated May 20, 2025

pending-benchmarks Public

Benchmarks that use features currently not standardized.

SMT 0 0 0 0 Updated May 14, 2025

benchmark-submission-2023 Public archive

Repository for the submission of SMT-LIB benchmarks for the 2023 release.

SMT 1 9 0 1 Updated Jan 24, 2025

benchmark-submission-2024 Public archive

Repository for the submission of SMT-LIB benchmarks for the 2024 release.

SMT 0 12 0 0 Updated Jun 20, 2024

benchmark-submission-2022 Public archive

Former repository for the submission of SMT-LIB benchmarks for the 2022 release

SMT 0 6 0 0 Updated Jan 13, 2023

vscode-smt Public

TextMate grammar for SMT-LIB and its extensions.

1MIT 0 0 0 Updated Apr 13, 2022

Navigation Menu

Uh oh!

Uh oh!

The SMT-LIB Initiative

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!