projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c89b060)
release notes
authorMorgan Deters <mdeters@gmail.com>
Sun, 30 Sep 2012 22:29:57 +0000 (22:29 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 30 Sep 2012 22:29:57 +0000 (22:29 +0000)
RELEASE-NOTES patch | blob | history

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index a68801d32f07d32a126aacd6c62244b45112c63c..9eadf916a3eadfc67c1a7832a987303c48888c94 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -114,8 +114,6 @@ release).
 
 CVC4 1.0 has a state-of-the-art linear arithmetic solver.  However, there
 is extremely limited support for nonlinear arithmetic in this release.
-Nontrivial nonlinear input will most likely result in an "unknown" answer
-from the solver.
 
 ** Portfolio solving