Add CONTRIBUTING file. (#2968)

1 files changed, 14 insertions, 18 deletions

diff --git a/README.md b/README.md
index 8f38f9004..09f8a0dcc 100644
--- a/README.md
+++ b/README.md
@@ -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