Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems

[Christopher L Conway]

Package: wnpp
Severity: normal
X-Debbugs-CC: mdet...@cs.nyu.edu