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
      •3•0•0•2•Updated Mar 15, 2026Mar 15, 2026

    • SMT-LIB-2

      Public
      Public reference documents for the SMT-LIB standard
      TeX
      •2•20•17•0•Updated Mar 4, 2026Mar 4, 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•1•3•0•Updated Jan 22, 2026Jan 22, 2026

    • benchmark-submission

      Public
      Repository for the submission of SMT-LIB benchmarks for the 2025 release.
      SMT
      •12•6•1•2•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
      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