Difference between revisions of "CVC4"
From CVC4
| Line 1: | Line 1: | ||
Welcome to the CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa. | Welcome to the CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa. | ||
| − | + | Some CVC3 resources (login required): | |
| + | * CVC3 Bugzilla located at [http://www.cs.nyu.edu/acsys/bugs/ http://www.cs.nyu.edu/acsys/bugs/] | ||
| + | * CVC3 Wiki [http://www.cs.nyu.edu/acsys/cvc3/wiki http://www.cs.nyu.edu/acsys/cvc3/wiki] | ||
| + | * [http://cs.nyu.edu/acsys/cvc3/ CVC3 public page] | ||
| + | |||
| + | Some CVC4 resources | ||
* [http://goedel.cims.nyu.edu/bugzilla/ CVC4 Bugzilla] | * [http://goedel.cims.nyu.edu/bugzilla/ CVC4 Bugzilla] | ||
* [[Developer Meeting Minutes]] | * [[Developer Meeting Minutes]] | ||
| + | * [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list] | ||
| − | + | [[References]] | |
| − | + | ||
| − | + | ||
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]]. | 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 06:56, 1 October 2009
Welcome to the CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa.
Some CVC3 resources (login required):
- CVC3 Bugzilla located at http://www.cs.nyu.edu/acsys/bugs/
- CVC3 Wiki http://www.cs.nyu.edu/acsys/cvc3/wiki
- CVC3 public page
Some CVC4 resources
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.
