Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

Acknowledgments

SMT-COMP 2016 is organized under the direction of the SMT Steering Committee. The organizing team is

The competition uses the StarExec service, which is hosted at the University of Iowa.

The SMT-COMP web site is hosted on SourceForge, at smtcomp.sourceforge.net.

Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

Last modified: Sat 11 Jun 2016 14:17 UTC
Valid XHTML 1.0 Valid CSS!