Difference between revisions of "CVC4"
From CVC4
| Line 14: | Line 14: | ||
Other pages of interest: | Other pages of interest: | ||
| − | * [[Bibliographical references of interest | + | * [[References|Bibliographical references of interest]] |
Revision as of 08:15, 1 October 2009
Welcome to the CVC portal.
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
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
Other pages of interest:
