SMT-COMP -- Discussion list for the Satisfiability Modulo Theories Competition | |
|
|
About SMT-COMP | |
This is an email list associated with the annual Satisfiability Modulo Theories Competition. The list is used for announcements about the competition as well as for discussion related to all aspects of the competition. To see the collection of prior postings to the list, visit the SMT-COMP Archives. |
|
Using SMT-COMP | |
To post a message to all the list members, send email to
smt-comp@cs.nyu.edu.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
Subscribing to SMT-COMP | |
Subscribe to SMT-COMP by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a private list, which means that the list of members is not available to non-members. | |
SMT-COMP Subscribers | |
|
version 2.1.15 |