[Smtcomp-discussion] References for SMTCOMP 2014 solvers

[David R. C. <dc...@gr...>]

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