CVC4
From CVC4
Revision as of 12:16, 26 March 2009 by Dejan Jovanović (Talk | contribs)
Welcome to CVC3 developers documentation. This website and the service is only intended for the developers of CVC3 at NYU.
Two other pages important for developers:
- CVC3 Bugzilla located at http://www.cs.nyu.edu/acsys/bugs/
- CVC3 User Documentation wiki http://www.cs.nyu.edu/acsys/cvc3/wiki
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 or contact the administrator.
If you are a developer and you want to understand or change how the benchmarking service works, ou can also take a look at the developers documentation.
