Difference between revisions of "CVC4"
From CVC4
| Line 1: | Line 1: | ||
Welcome to the CVC portal. | Welcome to the CVC portal. | ||
| − | Some CVC3 resources (login required): | + | Some CVC3 resources (login may be required): |
* [http://www.cs.nyu.edu/acsys/bugs/ http://www.cs.nyu.edu/acsys/bugs/ CVC3 Bugzilla] | * [http://www.cs.nyu.edu/acsys/bugs/ http://www.cs.nyu.edu/acsys/bugs/ CVC3 Bugzilla] | ||
* [http://www.cs.nyu.edu/acsys/cvc3/wiki http://www.cs.nyu.edu/acsys/cvc3/wiki CVC3 Wiki] | * [http://www.cs.nyu.edu/acsys/cvc3/wiki http://www.cs.nyu.edu/acsys/cvc3/wiki CVC3 Wiki] | ||
| Line 8: | Line 8: | ||
This wiki also serves as the CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa. | This wiki also serves as the CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa. | ||
| − | Some CVC4 resources | + | Some CVC4 resources (login may be required): |
* [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] | * [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list] | ||
| − | Other pages of interest: | + | Other pages of interest (login required): |
* [[References|Bibliographical references of interest]] | * [[References|Bibliographical references of interest]] | ||
Revision as of 09:36, 1 October 2009
Welcome to the CVC portal.
Some CVC3 resources (login may be required):
- http://www.cs.nyu.edu/acsys/bugs/ CVC3 Bugzilla
- http://www.cs.nyu.edu/acsys/cvc3/wiki CVC3 Wiki
- CVC3 public page
This wiki also serves as the CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa.
Some CVC4 resources (login may be required):
Other pages of interest (login required):
