[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.


Attachment: pgpgMi5p2nRI4.pgp
Description: PGP signature

Reply to: