Home Intro Rules Participants Results Tools Specs Thanks SMT-LIB Previous

SMT-COMP'07

The Satisfiability Modulo Theories Competition (SMT-COMP) is a satellite event of CAV'07 (July 3 - 7, 2007, Berlin, Germany).

A mailing list for announcements and discussion about the competition is here (hosted by NYU -- the old list hosted by SRI is no longer used).

Home Intro Rules Participants Results Tools Specs Thanks SMT-LIB Previous

Last modified: Tue 17 Feb 2015 14:58 UTC
Valid XHTML 1.0 Valid CSS!