[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#757048: ITP: cvc4 -- An automatic theorem prover for SMT problems



Hello Morgan,

[...]
> I have a package already built, but will need a sponsor to complete the
> task.
> 

Please let me know whether you are still looking for a sponsor - I'd be happy to
take care of that.

Best,
Michael

Attachment: pgpgMi5p2nRI4.pgp
Description: PGP signature


Reply to: