[SMT-COMP] Ask Information About SMT-COMO 2019

[Aina Niemetz]

Hi Bing He,

we will announce a call for solvers with information on how and when to
submit on this email list.

Cheers,
Aina


On 4/15/19 11:11 PM, 何兵 wrote:
> ?Hi,
> 
>     If I want to submit a solver to the SMT-COMO 2019?, when should I submit?
> 
> Best regards,
> Bing He?
> 
> 
> 
> 
> _______________________________________________
> SMT-COMP mailing list
> SMT-COMP at cs.nyu.edu
> https://cs.nyu.edu/mailman/listinfo/smt-comp
> 

-------------- 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/20190416/124cd832/attachment.asc>