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.