[an error occurred while processing this directive] SMT-Exec [an error occurred while processing this directive]
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.

[an error occurred while processing this directive]
Home - Intro - Login - Public results - Specs - Thanks - SMT-LIB - SMT-COMP

Last modified: Wed 28 May 2014 14:10 CDT
Valid XHTML 1.0 Valid CSS!