- Please send all bug reports to email@example.com.
- If you have a question, a feature request, or would like to contribute in some way,
one of the project leaders.
This list is for users of CVC3. We will make
periodic announcements to this list and users are also encouraged to use it