diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-11-30 23:04:20 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-11-30 23:04:20 +0000 |
commit | 2bd85df6be705aed37a5d5eba082fbb9a38ab7c5 (patch) | |
tree | b3d9d64ffd7fdad48035eee4989f711a96b6264e /README | |
parent | 2eff007e694baec68204021164238dcc274e695c (diff) |
incorporating some comments from Clark
Diffstat (limited to 'README')
-rw-r--r-- | README | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -96,9 +96,8 @@ and the use of heavyweight computation (where more nimble engineering approaches could suffice) makes CVC3 a much slower prover than other tools. As these designs are central to CVC3, a new version was preferable to a selective re-engineering, which would have ballooned -in short order. Some specific deficiencies of CVC3 are mentioned in -this article. +in short order. *** For more information -More information about CVC4 is available at: http://cs.nyu.edu/acsys/cvc4 +More information about CVC4 is available at: http://cvc4.cs.nyu.edu/ |