From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 11 Oct 2012 12:15:59 +0000 (+0000)
Subject: compliance note
X-Git-Tag: cvc5-1.0.0~7708
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=171007ac1c30e869014182817a2f1e52a155cb1a;p=cvc5.git

compliance note
---

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 9ad246a9c..b271ed1e4 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -74,6 +74,14 @@ standard.  To make CVC4 adhere more strictly to the standard, use the
 somewhat lenient; some non-conforming input may still be parsed and
 processed.
 
+For the latest news on SMT-LIB compliance, please check:
+
+  http://church.cims.nyu.edu/wiki/SMT-LIB_Compliance
+
+However, please note that that page may refer to a more recent version
+(and possibly an unreleased, development version) than the one you are
+looking at.
+
 ** Getting statistics
 
 Statistics can be dumped on exit (both normal and abnormal exits) with