Skip to content

@SMT-LIB The SMT-LIB Initiative

Change the repository type filter

All

    Repositories list

    9 repositories

    • SMT-LIB.github.io

      Public
      Sources of www.SMT-LIB.org
      SMT
      •1•0•0•0•Updated Jan 6, 2026Jan 6, 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
      •1•0•0•0•Updated Dec 31, 2025Dec 31, 2025

    • SMT-LIB-2

      Public
      Public reference documents for the SMT-LIB standard
      TeX
      •2•19•17•0•Updated Dec 3, 2025Dec 3, 2025

    • benchmark-submission

      Public
      Repository for the submission of SMT-LIB benchmarks for the 2025 release.
      SMT
      •10•5•1•1•Updated May 20, 2025May 20, 2025

    • pending-benchmarks

      Public
      Benchmarks that use features currently not standardized.
      SMT
      •0•0•0•0•Updated May 14, 2025May 14, 2025

    • benchmark-submission-2023

      Public archive
      Repository for the submission of SMT-LIB benchmarks for the 2023 release.
      SMT
      •9•1•0•1•Updated Jan 24, 2025Jan 24, 2025

    • benchmark-submission-2024

      Public archive
      Repository for the submission of SMT-LIB benchmarks for the 2024 release.
      SMT
      •12•0•0•0•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
      SMT
      •6•0•0•0•Updated Jan 13, 2023Jan 13, 2023

    • vscode-smt

      Public
      TextMate grammar for SMT-LIB and its extensions.
      MIT License
      •0•1•0•0•Updated Apr 13, 2022Apr 13, 2022