Support

From CVC4
Revision as of 14:26, 17 September 2012 by Mdeters (Talk | contribs) (Created page with "=Technical Support= Please send all bug reports to [mailto:cvc-bugs@cs.nyu.edu cvc-bugs@cs.nyu.edu]. If you have a question, a feature request, or would like to contribute in so…")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

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.

Retrieved from "http://cvc4.cs.stanford.edu/w/index.php?title=Support&oldid=3427"