Popular repositories

1. benchmark-submission-2023 benchmark-submission-2023 Public

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

   SMT 1 9

2. SMT-LIB.github.io SMT-LIB.github.io Public

   Sources of www.SMT-LIB.org

   SMT

3. benchmark-submission-2022 benchmark-submission-2022 Public

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

   SMT 7

4. vscode-smt vscode-smt Public

   TextMate grammar for SMT-LIB and its extensions.

5. SMT-LIB-2 SMT-LIB-2 Public

   Public reference documents for the SMT-LIB standard

   TeX

6. benchmark-submission benchmark-submission Public

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

   SMT 12