[SMT-LIB] SMTCOMP is off and running

cok at frontiernet.net cok at frontiernet.net
Sat Jun 23 09:49:08 EDT 2012


The SMT competitions 2012 has started,
beginning with the unsat core exhibition track: http://www.smtexec.org/exec/?jobs=1006
continuing later with the incremental (application) track: http://www.smtexec.org/exec/?jobs=1005
and possibly other exhibition divisions: http://www.smtexec.org/exec/?jobs=1007
with the main competition overlapping with IJCAR: http://www.smtexec.org/exec/?jobs=1004

David Cok


More information about the SMT-LIB mailing list