[SMT-COMP] FINAL Reminder: System description MANDATORY

[Aina Niemetz]

Hi all,

this is a final reminder for the following solver developer teams who
didn't yet submit a system description:

Boolector
Colibri
CVC4
FloatFolio
MathSAT
Minkeyrink
Par4
UltimateEliminator
veriT
Q3B

Deadline is June 2, 2019 --- solver submissions that are not accompanied
with a system description **will not run**.

Thanks,
Aina


On 5/21/19 4:46 PM, Aina Niemetz wrote:
> Hi all,
> 
> this is just a quick reminder that this year, submitting a brief system
> description is mandatory. Solver submissions that are not accompanied
> with a system description **will not run**.
> For details, see https://smt-comp.github.io/2019/rules19.pdf.
> 
> Submission is due until the final solver deadline on **June 2, 2019**.
> Please submit your system description via email to us organizers.
> 
> Thanks,
> Aina
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-comp/attachments/20190601/bfb8727e/attachment-0001.asc>