diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-30 22:29:57 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-30 22:29:57 +0000 |
| commit | 3b0bf8ba5462a2f05e9a9d96c0ee22bcf70dd8cf (patch) | |
| tree | d80bb57404145ae233925ff12afa86cc7f3b7d57 /RELEASE-NOTES | |
| parent | c89b0605d5ff327f140f3b0be87796f086228640 (diff) | |
release notes
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 |