Acknowledgments

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

• Matthias Heizmann - University of Freiburg, Germany (co-organizer)
• Giles Reger - University of Manchester, UK (co-organizer)
• Tjark Weber - Uppsala University, Sweden (chair)

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.

Last modified: Tue 12 Jun 2018 12:25 UTC