aboutsummaryrefslogtreecommitdiff
path: root/math/cvc3/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* Add cvc3 1.0, an automatic theorem prover for the SMT problem.Cheng-Lung Sung2007-03-251-0/+24