Difference between revisions of "Support"
From CVC4
(→Technical Support) |
|||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
=Technical Support= | =Technical Support= | ||
| − | Please send all bug reports to [mailto:cvc-bugs@cs. | + | Please send all bug reports to [mailto:cvc-bugs@cs.stanford.edu cvc-bugs@cs.nyu.edu], or use the [http://cvc4.cs.stanford.edu/bugzilla3/ CVC4 Bugzilla tracker]. |
If you have a question, a feature request, or would like to contribute in some way, | If you have a question, a feature request, or would like to contribute in some way, | ||
please contact one of the project leaders. | please contact one of the project leaders. | ||
| Line 7: | Line 7: | ||
=Mailing List= | =Mailing List= | ||
| − | [http://www.cs.nyu.edu/mailman/listinfo/cvc-users The CVC-USERS list] is for users of CVC3. We will make periodic announcements to this list and users are also encouraged to use it for discussion. | + | [http://www.cs.nyu.edu/mailman/listinfo/cvc-users The CVC-USERS list] is for users of CVC3 and CVC4. |
| + | We will make periodic announcements to this list and users are also encouraged to use it for discussion. | ||
Latest revision as of 11:21, 8 February 2017
Technical Support
Please send all bug reports to cvc-bugs@cs.nyu.edu, or use the CVC4 Bugzilla tracker. If you have a question, a feature request, or would like to contribute in some way, please contact one of the project leaders.
Mailing List
The CVC-USERS list is for users of CVC3 and CVC4. We will make periodic announcements to this list and users are also encouraged to use it for discussion.
