[SMT-COMP] SMTCOMP - rules

David Cok dcok at grammatech.com
Sun Jun 1 08:12:36 EDT 2014


PS - the rules document was also slightly updated.

The benchmarks will be made public in the next day or so.

- David



More information about the SMT-COMP mailing list