[SMT-COMP] Competitor list: SMT-COMP 2011

[Morgan Deters]

Hi everyone,

The list of competitors for SMT-COMP 2011 is now publicly available at

  http://smtexec.org/exec/competitors2011.php

Please let me know if there are any errors or omissions.

Thanks, and see you soon!
Morgan
-- 
Morgan Deters
Postdoctoral Research Scientist
Courant Institute of Mathematical Sciences
251 Mercer St., New York, NY 10012
mdeters at cs.nyu.edu - http://cs.nyu.edu/~mdeters/