Difference between revisions of "CVC4"
From CVC4
(New page: Welcome to [http://www.cs.nyu.edu/acsys/cvc3/ CVC3]] benchmarking documentation. This website and the service is only intended for the deveolpers of CVC3 at NYU. You can start by taking ...) |
|||
| Line 1: | Line 1: | ||
| − | Welcome to [http://www.cs.nyu.edu/acsys/cvc3/ CVC3 | + | Welcome to [http://www.cs.nyu.edu/acsys/cvc3/ CVC3] benchmarking documentation. This website and the service is only intended for the deveolpers of CVC3 at NYU. |
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 shoud first take a look at the [[Frequently Asked Questions]] or contact the [http://cs.nyu.edu/~dejan/ administrator]. | 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 shoud first take a look at the [[Frequently Asked Questions]] or contact the [http://cs.nyu.edu/~dejan/ administrator]. | ||
If you are a developer and you want to understand or change how the service works, ou can also take a look at the [[How it's Made|developers documentation]]. | If you are a developer and you want to understand or change how the service works, ou can also take a look at the [[How it's Made|developers documentation]]. | ||
Revision as of 16:47, 12 March 2009
Welcome to CVC3 benchmarking documentation. This website and the service is only intended for the deveolpers of CVC3 at NYU.
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 shoud 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 service works, ou can also take a look at the developers documentation.
