From 2bd85df6be705aed37a5d5eba082fbb9a38ab7c5 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 30 Nov 2012 23:04:20 +0000 Subject: incorporating some comments from Clark --- README | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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/ -- cgit v1.2.3