Home Intro Login Public results Specs Thanks SMT-LIB SMT-COMP

SMT-Exec

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
Valid XHTML 1.0 Valid CSS!