Difference between revisions of "CVC4"
From CVC4
(updated for cvc4) |
|||
| Line 1: | Line 1: | ||
| − | Welcome to [http://www.cs.nyu.edu/acsys/cvc3/ CVC4] developers documentation. This website and the service is only intended for the developers of CVC4 at NYU. | + | Welcome to [http://www.cs.nyu.edu/acsys/cvc3/ CVC4] developers documentation. This website and the service is only intended for the developers of CVC4 at NYU and UIowa. |
| − | + | Now to something more exciting (login required): | |
| − | + | ||
| − | + | ||
* [[Developer Meeting Minutes]] | * [[Developer Meeting Minutes]] | ||
| − | 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] | + | Some CVC3 resources (login required): |
| + | * CVC3 Bugzilla located at [http://www.cs.nyu.edu/acsys/bugs/ http://www.cs.nyu.edu/acsys/bugs/] | ||
| + | * CVC3 User Documentation wiki [http://www.cs.nyu.edu/acsys/cvc4/wiki http://www.cs.nyu.edu/acsys/cvc4/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]]. | ||
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 [[How it's Made|developers documentation]]. | 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 [[How it's Made|developers documentation]]. | ||
Revision as of 05:48, 1 October 2009
Welcome to CVC4 developers documentation. This website and the service is only intended for the developers of CVC4 at NYU and UIowa.
Now to something more exciting (login required):
Some CVC3 resources (login required):
- CVC3 Bugzilla located at http://www.cs.nyu.edu/acsys/bugs/
- CVC3 User Documentation wiki http://www.cs.nyu.edu/acsys/cvc4/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.
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.
