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

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

Hi Michael,

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

Yes, I am indeed still in need of a sponsor.  Thanks!  I've uploaded the package to mentors.debian.net, though it hasn't appeared in the listing yet.  There are a few things I'd like to improve with the package, but may need some assistance.


Morgan Deters
Senior Research Scientist
Courant Institute of Mathematical Sciences
251 Mercer St., New York, NY 10012
mdeters@cs.nyu.edu - http://cs.nyu.edu/~mdeters/

Reply to: