diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2017-06-30 14:30:45 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.stanford.edu> | 2017-06-30 14:30:45 -0700 |
commit | a0059f1f2ced58068e715ca9443a03a3b0b1e916 (patch) | |
tree | c50de58dc0afb1b15216e03a5670c8ca767cc623 /README | |
parent | ae4089fb6ff60fd5af5a212d68b91928f94bb5f2 (diff) |
Updated NEWS, README, RELEASE-NOTES.
Diffstat (limited to 'README')
-rw-r--r-- | README | 33 |
1 files changed, 15 insertions, 18 deletions
@@ -1,12 +1,9 @@ -This is CVC4 release version 1.4. For build and installation notes, +This is CVC4 release version 1.5. For build and installation notes, please see the INSTALL file included with this distribution. -This first official release of CVC4 is the result of more than three -years of efforts by researchers at New York University and The -University of Iowa. The project leaders are Clark Barrett (New York -University) and Cesare Tinelli (The University of Iowa). For a full -list of authors, please refer to the AUTHORS file in the source -distribution. +The project leaders are Clark Barrett (Stanford University) and Cesare Tinelli +(The University of Iowa). For a full list of authors, please refer to the +AUTHORS file in the source distribution. CVC4 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such @@ -28,7 +25,7 @@ distribution. We recommend that you visit our CVC4 tutorials online at: - http://cvc4.cs.nyu.edu/wiki/Tutorials + http://cvc4.cs.stanford.edu/wiki/Tutorials for help getting started using CVC4. @@ -36,24 +33,24 @@ for help getting started using CVC4. We are always happy to hear feedback from our users: -* if you need help with using CVC4, please write to the - cvc-users@cs.nyu.edu mailing list. +* if you need help with using CVC4, please refer to + http://cvc4.stanford.edu/#Technical_Support. * if you need to report a bug with CVC4, or make a feature request, - please visit our bugtracker at http://cvc4.cs.nyu.edu/bugs/ or write - to the cvc-bugs@cs.nyu.edu mailing list. We are very grateful for + please visit our bugtracker at http://cvc4.cs.stanford.edu/bugs/ or write + to the cvc-bugs@cs.stanford.edu mailing list. We are very grateful for bug reports, as they help us improve CVC4, and patches are generally reviewed and accepted quickly. * if you are using CVC4 in your work, or incorporating it into software of your own, we'd like to invite you to leave a description and link to your project/software on our "Third Party Applications" - page at http://cvc4.cs.nyu.edu/wiki/Public:Third_Party_Applications + page at http://cvc4.cs.stanford.edu/wiki/Public:Third_Party_Applications -* if you are interested in contributing code (for example, a new - decision procedure implementation) to the CVC4 project, please - contact us at cvc4-devel@cs.nyu.edu. We'd be happy to point you to - some internals documentation to help you out. +* if you are interested in contributing code (for example, a new decision + procedure implementation) to the CVC4 project, please contact one of the + project leaders. We'd be happy to point you to some internals documentation + to help you out. Thank you for using CVC4! @@ -100,4 +97,4 @@ in short order. *** For more information -More information about CVC4 is available at: http://cvc4.cs.nyu.edu/ +More information about CVC4 is available at: http://cvc4.cs.stanford.edu/ |