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

Thanks,
Morgan
-- 

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: