Related Sites
- SMT-COMP
- The SMT solver competition
- SMT workshop
- The International Workshop on Satisfiability Modulo Theories
- StarExec
- The benchmark repository and execution service current used by SMT-LIB and SMT-COMP
- SAT/SMT/AR Summer School
- Annual summer school on SAT, SMT and Automated Reasoning
- SMT-EXEC
- The benchmark repository and execution service previously 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.
- QBFLIB
- A collection of benchmark problems, solvers, and tools related to Quantified Boolean Formula (QBF) satisfiability.
- CSPLib
- A library of test problems for constraint solvers.
- SyGuS
- A competition and benchmark library for Syntax-Guided Synthesis.
- TPTP
- A benchmarks library for automated theorem proving.