[SMT-COMP] References for SMTCOMP 2014 solvers
David R. Cok
dcok at grammatech.com
Thu Nov 6 10:46:38 EST 2014
SMTCOMP 2014 participants
The organizers are preparing a paper for publication on the experience
and results of the 2014 SMT competition.
This includes a list of participating solvers.
If you have a 'canonical' reference you would like us to use for your
solver, or the most appropriate one for the 2014 version (which might be
a paper in preparation or under review), please reply to this note with
a BibTex for your tool.
ASAP - our submission deadline is next week.
Thanks,
David, David & Tjark
More information about the SMT-COMP
mailing list