CVC4

From CVC4
Revision as of 09:59, 27 September 2009 by Mdeters (Talk | contribs)

Jump to: navigation, search

Welcome to CVC4 developers documentation. This website and the service is only intended for the developers of CVC4 at NYU.

Two other pages important for developers:

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, you can also take a look at the developers documentation.