Repositories list

• benchmark-submission

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

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 5, 2026May 5, 2026

• SMT-LIB-db

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

  SMT

  •

  BSD 3-Clause "New" or "Revised" License

  •11 fork•11 star•33 issues•00 pull requests•Updated Apr 23, 2026Apr 23, 2026

• SMT-LIB.github.io

  Public
  Sources of www.SMT-LIB.org

  SMT

  •33 forks•00 stars•00 issues•22 pull requests•Updated Apr 13, 2026Apr 13, 2026

• SMT-LIB-2

  Public
  Public reference documents for the SMT-LIB standard

  TeX

  •22 forks•1919 stars•1717 issues•00 pull requests•Updated Mar 27, 2026Mar 27, 2026

• benchmark-submission-2025

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

  SMT

  •1313 forks•66 stars•11 issue•33 pull requests•Updated May 20, 2025May 20, 2025

• pending-benchmarks

  Public
  Benchmarks that use features currently not standardized.

  SMT

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 14, 2025May 14, 2025

• benchmark-submission-2023

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

  SMT

  •99 forks•11 star•00 issues•11 pull request•Updated Jan 24, 2025Jan 24, 2025

• benchmark-submission-2024

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

  SMT

  •1212 forks•00 stars•00 issues•00 pull requests•Updated Jun 20, 2024Jun 20, 2024

• benchmark-submission-2022

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

  benchmarksmtsmt-lib

  benchmarksmtsmt-lib

  SMT

  •66 forks•00 stars•00 issues•00 pull requests•Updated Jan 13, 2023Jan 13, 2023

• vscode-smt

  Public
  TextMate grammar for SMT-LIB and its extensions.

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 13, 2022Apr 13, 2022