K 10 svn:author V 6 ijliao K 8 svn:date V 27 2006-09-20T01:42:03.000000Z K 7 svn:log V 119 add cvcl 2.5.1 An automatic theorem prover for the SMT problem PR: 103412 Submitted by: Li-Wen Hsu END