Difference between revisions of "CVC4"

Revision as of 08:14, 1 October 2009

Welcome to the CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa.

Some CVC3 resources (login required):

• CVC3 Bugzilla located at http://www.cs.nyu.edu/acsys/bugs/
• CVC3 Wiki http://www.cs.nyu.edu/acsys/cvc3/wiki
• CVC3 public page

Some CVC4 resources

• CVC4 Bugzilla
• Developer Meeting Minutes
• Mailing list

References

You can start by taking a look at the User's Guide to find out how to use the service. If you encounter any problems, you should first take a look at the Frequently Asked Questions.

If you are a developer and you want to understand or change how the benchmarking service works, you can also take a look at the developers documentation.