[SMT-COMP] SMT-COMP main and unsat-core tracks starting later today

[Morgan Deters]

Hi everyone,

David Cok has asked me to start the main and unsat-core tracks of
SMT-COMP 2012 today.

The results, as they come in, will be available here:

  http://smtexec.org/exec/

Best,
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/