The SMT-LIB Initiative

Pinned Repositories

benchmark-submission
Repository for the submission of SMT-LIB benchmarks for the 2024 release.
Language:SMT0 6 512
benchmark-submission-2022
Former repository for the submission of SMT-LIB benchmarks for the 2022 release
Language:SMT0 6 07
benchmark-submission-2023
Repository for the submission of SMT-LIB benchmarks for the 2023 release.
Language:SMT1 6 19
SMT-LIB-2
Public reference documents for the SMT-LIB standard
Language:TeX0 6 180
SMT-LIB.github.io
Sources of www.SMT-LIB.org
Language:SMT00
vscode-smt
TextMate grammar for SMT-LIB and its extensions.
0 4 00

The SMT-LIB Initiative's Repositories

SMT-LIB/benchmark-submission-2023
Repository for the submission of SMT-LIB benchmarks for the 2023 release.
Language:SMT1 6 19
SMT-LIB/benchmark-submission
Repository for the submission of SMT-LIB benchmarks for the 2024 release.
Language:SMT0 6 512
SMT-LIB/benchmark-submission-2022
Former repository for the submission of SMT-LIB benchmarks for the 2022 release
Language:SMT0 6 07
SMT-LIB/SMT-LIB-2
Public reference documents for the SMT-LIB standard
Language:TeX0 6 180
SMT-LIB/SMT-LIB.github.io
Sources of www.SMT-LIB.org
Language:SMT00
SMT-LIB/vscode-smt
TextMate grammar for SMT-LIB and its extensions.
0 4 00