diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-10-09 04:53:43 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-10-09 04:53:43 +0000 |
| commit | 914dc99c1b89cf7203dc20296e8279786af202f9 (patch) | |
| tree | ae456c232a82fb604778f2a0edc687382b92f4b3 /README | |
| parent | 4a266eaff4301b26383a1b667265055c9d4ce797 (diff) | |
some documentation fixes
Diffstat (limited to 'README')
| -rw-r--r-- | README | 25 |
1 files changed, 25 insertions, 0 deletions
@@ -32,6 +32,31 @@ We recommend that you visit our CVC4 tutorials online at: for help getting started using CVC4. +*** Contributing to the CVC4 project + +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 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 + 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 + +* 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. + +Thank you for using CVC4! + *** The History of CVC4 The Cooperating Validity Checker series has a long history. The |