diff options
Diffstat (limited to 'RELEASE-NOTES')
-rw-r--r-- | RELEASE-NOTES | 2 |
1 files changed, 0 insertions, 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 |