- The SMT solver competition
- SMT workshop
- The International Workshop on Satisfiability Modulo Theories
- The benchmark repository and execution service current used by SMT-LIB and SMT-COMP
- The benchmark repository and execution service previouly used by SMT-LIB and SMT-COMP.
- This service is no longer active although it still contains historical data.
The following sites are related or have similar objectives to those of SMT-LIB.
- A collection of benchmark problems, solvers, and tools for propositional satisfiability.
- A collection of benchmark problems, solvers, and tools related to Quantified Boolean Formula (QBF) satisfiability.
- A library of test problems for constraint solvers.
- A library of test problems for (first-order) automated theorem proving.