[SMT-LIB] SMT-COMP pre-registration and submission is now open

Leonardo de Moura demoura at csl.sri.com
Tue May 30 13:24:19 EDT 2006


Hi,

SMT-COMP pre-registration and submission is now open.
Additional information is available at:
http://www.csl.sri.com/users/demoura/smt-comp/registration.shtml

Please pre-register as soon as possible, we need this information
to decide the number of machines we are going to need, how
many benchmarks and the timeout we are going to use.

The deadline for system submission is 8th of August.

Best wishes,
Leonardo de Moura
for Aaron Stump and Clark Barrett



More information about the SMT-LIB mailing list