Related Sites
The following sites are related or have similar objectives of SMT-LIB.
-
Combination Methods in Automated Reasoning.
A site dedicated to
combination of logics,
of constraint solving techniques,
and of decision procedures;
integration of theories into deductive systems, and so on.
-
SATLIB.
A collection of benchmark problems, solvers, and tools
for propositional satisfiability.
-
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.
-
TPTP.
A library of test problems for (first-order) automated theorem proving.