Bug#559245: marked as done (ITP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.)

a what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 559245: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=559245 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems ---

Bug#559245:

This package has been uploaded to mentors.debian.org and needs a sponsor: http://mentors.debian.net/cgi-bin/sponsor-pkglist?action=details;package=cvc3 It has also been uploaded to REVU: http://revu.ubuntuwire.com/details.py?package=cvc3

Bug#559245: RFP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Package: wnpp Severity: wishlist * Package name: cvc3 Version : 2.2 Upstream Author : Clark Barrett , Cesare Tinelli * URL : http://www.cs.nyu.edu/acsys/cvc3/ * License : BSD Programming Lang: C++ Description : CVC3 is an automatic theorem prover for S