diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2019-11-11 09:07:14 -0800 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-11-11 11:07:14 -0600 |
| commit | 5d1c52999d78d5e825654d729279df8c49488133 (patch) | |
| tree | 16a6a0d42634a5a85338f340666bc128016cedf4 | |
| parent | 62e2ba213a6488197fa0a9b3cdd7845fc397d32b (diff) | |
Update README according to the new website (#3438)
| -rw-r--r-- | README.md | 33 |
1 files changed, 13 insertions, 20 deletions
@@ -13,6 +13,11 @@ modulo a first order theory (or a combination of such theories). It is the fourth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3) but does not directly incorporate code from any previous version. +If you are using CVC4 in your work, or incorporating it into software of your +own, we invite you to send us a description and link to your +project/software, so that we can link it on our [Third Party +Applications](https://cvc4.github.io/third-party-applications.html) page. + CVC4 is intended to be an open and extensible SMT engine. It can be used as a stand-alone tool or as a library. It has been designed to increase the performance and reduce the memory overhead of its predecessors. It is written @@ -22,10 +27,17 @@ entirely in C++ and is released under an open-source software license (see file Website ------------------------------------------------------------------------------- +CVC4's website is available at: +http://cvc4.cs.stanford.edu/ -More information about CVC4 is available at: +Documentation +------------------------------------------------------------------------------- +Documentation for users of CVC4 is available at: http://cvc4.cs.stanford.edu/ +Documentation for developers is available at: +https://github.com/CVC4/CVC4/wiki/Developer-Guide + Download ------------------------------------------------------------------------------- @@ -47,25 +59,6 @@ For detailed build and installation instructions on these platforms, see file [INSTALL.md](https://github.com/CVC4/CVC4/blob/master/INSTALL.md). -Getting Started -------------------------------------------------------------------------------- - -We recommend that you visit our CVC4 tutorials online at: - - http://cvc4.cs.stanford.edu/wiki/Tutorials - -for help getting started using CVC4. - -If you need help with using CVC4, please refer to -[http://cvc4.stanford.edu#technical-support]( - http://cvc4.stanford.edu#technical-support). - -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](http://cvc4.cs.stanford.edu/wiki/Public:Third_Party_Applications). - - Bug Reports ------------------------------------------------------------------------------- |