Support
Technical Support
- Please send all bug reports to cvc-bugs@cs.nyu.edu.
- 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
- cvc-users
This list is for users of CVC3. We will make
periodic announcements to this list and users are also encouraged to use it
for discussion.
