retitle 757192 ITA: cvc3 - Automatic theorem prover for SMT problems owner 757192 !
- Bug#757192: RFA: cvc3 - Automatic theorem prove... Christopher L Conway
- Bug#757192: RFA: cvc3 - Automatic theorem ... Morgan Deters
- Bug#757192: marked as done (ITA: cvc3 -- A... Debian Bug Tracking System
