Difference between revisions of "CVC4"
From CVC4
(Add meeting minutes link) |
|||
| Line 4: | Line 4: | ||
* CVC4 Bugzilla located at [http://www.cs.nyu.edu/acsys/bugs/ http://www.cs.nyu.edu/acsys/bugs/] | * CVC4 Bugzilla located at [http://www.cs.nyu.edu/acsys/bugs/ http://www.cs.nyu.edu/acsys/bugs/] | ||
* CVC4 User Documentation wiki [http://www.cs.nyu.edu/acsys/cvc4/wiki http://www.cs.nyu.edu/acsys/cvc4/wiki] | * CVC4 User Documentation wiki [http://www.cs.nyu.edu/acsys/cvc4/wiki http://www.cs.nyu.edu/acsys/cvc4/wiki] | ||
| − | * | + | * [[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]] 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 should 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 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 10:59, 27 September 2009
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:
- CVC4 Bugzilla located at http://www.cs.nyu.edu/acsys/bugs/
- CVC4 User Documentation wiki http://www.cs.nyu.edu/acsys/cvc4/wiki
- 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 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.
