Home Intro Tools Specs Thanks SMT-LIB Previous


SMT-COMP 2014 is co-organized by:

The competition uses the STAR-EXEC server, which is hosted at The University of Iowa.

The U.S. National Science Foundation, under grant CNS-0551697 supported the earlier SMTExec computational cluster.

Cok's contribution is supported by GrammaTech, Inc. and by the NSF under grant ACI-1314674.

The SMTCOMP web site is hosted on sourceforge, at smtcomp.sourceforge.net, currently maintained by David Cok.

Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

Home Intro Tools Specs Thanks SMT-LIB Previous

Last modified: Tue 17 Feb 2015 15:00 UTC
Valid XHTML 1.0 Valid CSS!