| Home | - | Intro | - | Login | - | Public results | - | Specs | - | Thanks | - | SMT-LIB | - | SMT-COMP |
|---|
The Satisfiability Modulo Theories Execution Service (SMT-Exec) is a solver execution service provided by the SMT-LIB initiative for the benefit of the SMT community. SMT-Exec allows researchers to configure and execute benchmarking experiments on SMT solvers.
If you are new to SMT, you might want to start with the introduction.
For information about the annual SMT competition (SMT-COMP), including information about this year's competition, please visit smtcomp.org.
| Home | - | Intro | - | Login | - | Public results | - | Specs | - | Thanks | - | SMT-LIB | - | SMT-COMP |
|---|
Last modified: Tue 09 Feb 2016 16:01 CST