Skip to content

@SMT-LIB The SMT-LIB Initiative

Change the repository type filter

All

    Repositories list

    7 repositories

    • SMT-LIB-2

      Public
      Public reference documents for the SMT-LIB standard
      TeX
      •0•13•15•0•Updated Nov 19, 2024Nov 19, 2024

    • SMT-LIB.github.io

      Public
      Sources of www.SMT-LIB.org
      SMT
      •0•0•0•0•Updated Nov 11, 2024Nov 11, 2024

    • pending-benchmarks

      Public
      Benchmarks that use features currently not standardized.
      0•0•0•0•Updated Jun 21, 2024Jun 21, 2024

    • benchmark-submission

      Public
      Repository for the submission of SMT-LIB benchmarks for the 2024 release.
      SMT
      •13•0•2•4•Updated Jun 20, 2024Jun 20, 2024

    • benchmark-submission-2023

      Public
      Repository for the submission of SMT-LIB benchmarks for the 2023 release.
      SMT
      •9•1•0•1•Updated Oct 23, 2023Oct 23, 2023

    • benchmark-submission-2022

      Public
      Former repository for the submission of SMT-LIB benchmarks for the 2022 release
      smtsmt-libbenchmark
      SMT
      •7•0•0•0•Updated Jan 13, 2023Jan 13, 2023

    • vscode-smt

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