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. Using the computational hardware from SMT-COMP’07 and a similar interface, SMT-Exec permits members of the SMT community: to upload new solvers and new revisions of solvers; to run highly-configurable experiments over available solvers and SMT-LIB benchmarks; and to view the results of these experiments as they are collected. Experiments and uploaded solvers may be kept private to a user account, or “published” to the website so that they may be viewed and used by all SMT community members.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Stump, Aaron; Sutcliffe, Geoff; Tinelli, Cesare: StarExec: a cross-community infrastructure for logic solving (2014)