Difference between revisions of "CVC4"
From CVC4
(adding link to parsing notes) |
|||
| Line 10: | Line 10: | ||
* [[Library|Our library: bibliographical references of interest]] | * [[Library|Our library: bibliographical references of interest]] | ||
* [[To Discuss|Items "yet to discuss"]] | * [[To Discuss|Items "yet to discuss"]] | ||
| + | * [[CVC4 Parsing]] | ||
'''Some CVC3 resources:''' | '''Some CVC3 resources:''' | ||
Revision as of 15:12, 27 February 2010
Welcome to the CVC portal and CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa.
A valid login is required for most of these links.
Relevant to CVC4 development:
- Developer Meeting Minutes
- CVC4 wishlist
- Developer's Guide
- How do I... ?
- Our library: bibliographical references of interest
- Items "yet to discuss"
- CVC4 Parsing
Some CVC3 resources:
Some CVC4 resources:
Relevant to this wiki:
To register as a new user, or recommend someone for an account, contact Dejan or Morgan.
