| Home | • | Intro | • | Rules & Submission | • | Participants | • | Results | • | Tools | • | Specs | • | Travel Grants | • | Thanks | • | SMT-LIB | • | Previous |
|---|
The Satisfiability Modulo Theories Competition (SMT-COMP) is a satellite event of CAV'08 (July 7 - 14, 2008, Princeton, USA).
A mailing list for announcements and discussion about the competition is here (hosted by NYU).
| Home | • | Intro | • | Rules & Submission | • | Participants | • | Results | • | Tools | • | Specs | • | Travel Grants | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 14:58 UTC