Talk:CVC (theorem prover)

CVC Lite has been renamed CVC3 and the web page has moved. Rather than follow the "marketing" twists and turns of the project, I would suggests renaming this page "CVC theorem prover" and linking to each of the 3 major versions: CVC, CVC Lite, and CVC3. -Clconway 19:27, 14 September 2006 (UTC)