diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-04-22 16:32:25 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-22 16:32:25 -0700 |
commit | d43f7760866a1a26769dfdebdffebdaf35309f9c (patch) | |
tree | 823073dcb614c397e6bb102db75de5c86abb129b /README.md | |
parent | 3bb9a36fe79eb8025a09a59fdb88a9596b0a105d (diff) |
Add CONTRIBUTING file. (#2968)
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 32 |
1 files changed, 14 insertions, 18 deletions
@@ -56,31 +56,27 @@ We recommend that you visit our CVC4 tutorials online at: 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). -Contributing -------------------------------------------------------------------------------- +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). -We are always happy to hear feedback from our users: -* if you need help with using CVC4, please refer to - [http://cvc4.stanford.edu/#Technical_Support](http://cvc4.stanford.edu/#Technical_Support). +Bug Reports +------------------------------------------------------------------------------- -* if you need to report a bug with CVC4, or make a feature request, please - visit our bugtracker at our - [GitHub issues](https://github.com/CVC4/CVC4/issues) page. We are very - grateful for bug reports, as they help us improve CVC4, and patches are - generally reviewed and accepted quickly. +If you need to report a bug with CVC4, or make a feature request, please visit +our bugtracker at our [GitHub issues](https://github.com/CVC4/CVC4/issues) +page. We are very grateful for bug reports, as they help us improve CVC4. -* 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). -* 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](#project_leaders). - We'd be happy to point you to some internal documentation to help you out. +Contributing +------------------------------------------------------------------------------- -Thank you for using CVC4! +Please refer to our [contributing guidelines](CONTRIBUTING.md). Project Leaders |