From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 30 Nov 2012 23:04:20 +0000 (+0000)
Subject: incorporating some comments from Clark
X-Git-Tag: cvc5-1.0.0~7508
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2bd85df6be705aed37a5d5eba082fbb9a38ab7c5;p=cvc5.git

incorporating some comments from Clark
---

diff --git a/README b/README
index 4ae472659..bedd7721a 100644
--- a/README
+++ b/README
@@ -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/