From 3b0bf8ba5462a2f05e9a9d96c0ee22bcf70dd8cf Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sun, 30 Sep 2012 22:29:57 +0000 Subject: release notes --- RELEASE-NOTES | 2 -- 1 file changed, 2 deletions(-) diff --git a/RELEASE-NOTES b/RELEASE-NOTES index a68801d32..9eadf916a 100644 --- 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 -- cgit v1.2.3