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

[Morgan Deters]

retitle 757192 ITA: cvc3 - Automatic theorem prover for SMT problems
owner 757192 !