diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-05-06 12:55:51 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-06 19:55:51 +0000 |
| commit | f28ed39a59e6ec8a282ef25b9415bc7d33cb919c (patch) | |
| tree | cc57b08a3de6c0240e9d7ee8be03f0cd82f53a2a /README.md | |
| parent | 2f4af86757f34a31f2983f30b3321e7c0511aa32 (diff) | |
Update README.md and remove last CVC4 references. (#6497)
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 33 |
1 files changed, 17 insertions, 16 deletions
@@ -1,7 +1,7 @@ []( https://opensource.org/licenses/BSD-3-Clause) - + []( https://cvc4.cs.stanford.edu/downloads/builds/coverage) @@ -11,8 +11,9 @@ cvc5 cvc5 is a tool for determining the satisfiability of a first order formula 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. +fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, +CVC3, CVC4) but does not directly incorporate code from any previous version +prior to CVC4. If you are using cvc5 in your work, or incorporating it into software of your own, we invite you to send us a description and link to your @@ -23,31 +24,31 @@ cvc5 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 entirely in C++ and is released under an open-source software license (see file -[COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING)). +[COPYING](https://github.com/cvc5/cvc5/blob/master/COPYING)). Website ------------------------------------------------------------------------------- -CVC4's website is available at: -http://cvc4.cs.stanford.edu/ +cvc5's website is available at: +https://cvc5.github.io/ Documentation ------------------------------------------------------------------------------- -Documentation for users of CVC4 is available at: -http://cvc4.cs.stanford.edu/ +Documentation for users of cvc5 is available at: +https://cvc5.github.io/docs/ Documentation for developers is available at: -https://github.com/CVC4/CVC4/wiki/Developer-Guide +https://github.com/cvc5/cvc5/wiki/Developer-Guide Download ------------------------------------------------------------------------------- -The latest version of CVC4 is available on GitHub: -https://github.com/CVC4/CVC4 +The latest version of cvc5 is available on GitHub: +https://github.com/cvc5/cvc5 Source tar balls and binaries for releases and latest stable builds of the -[master branch](https://github.com/CVC4/CVC4) on GitHub can be -found [here](http://cvc4.cs.stanford.edu/downloads). +[master branch](https://github.com/cvc5/cvc5) on GitHub can be +found [here](http://cvc5.github.io/downloads). Build and Dependencies @@ -57,14 +58,14 @@ cvc5 can be built on Linux and macOS. For Windows, cvc5 can be cross-compiled using Mingw-w64. For detailed build and installation instructions on these platforms, -see file [INSTALL.md](https://github.com/CVC4/CVC4/blob/master/INSTALL.md). +see file [INSTALL.md](https://github.com/cvc5/cvc5/blob/master/INSTALL.md). Bug Reports ------------------------------------------------------------------------------- If you need to report a bug with cvc5, or make a feature request, please visit -our bugtracker at our [GitHub issues](https://github.com/CVC4/CVC4/issues) +our bugtracker at our [GitHub issues](https://github.com/cvc5/cvc5/issues) page. We are very grateful for bug reports, as they help us improve cvc5. @@ -78,4 +79,4 @@ Authors ------------------------------------------------------------------------------- For a full list of authors, please refer to the -[AUTHORS](https://github.com/CVC4/CVC4/blob/master/AUTHORS) file. +[AUTHORS](https://github.com/cvc5/cvc5/blob/master/AUTHORS) file. |