Difference between revisions of "CVC4"
From CVC4
| Line 1: | Line 1: | ||
Welcome to the CVC portal and CVC4 developers' wiki. This service is only intended for the developers of CVC4 at [http://www.nyu.edu/ NYU] and [http://www.uiowa.edu/ UIowa]. | Welcome to the CVC portal and CVC4 developers' wiki. This service is only intended for the developers of CVC4 at [http://www.nyu.edu/ NYU] and [http://www.uiowa.edu/ UIowa]. | ||
| − | A valid login is required for | + | A valid login is required for many of these links. |
'''Relevant to CVC4 development:''' | '''Relevant to CVC4 development:''' | ||
| Line 8: | Line 8: | ||
* [[CVC4 Wishlist|CVC4 wishlist]] | * [[CVC4 Wishlist|CVC4 wishlist]] | ||
* [[Developer's Guide]] | * [[Developer's Guide]] | ||
| + | * [[User's Manual]] | ||
* [[How do I... ?]] | * [[How do I... ?]] | ||
* [[Library|Our library: bibliographical references of interest]] | * [[Library|Our library: bibliographical references of interest]] | ||
Revision as of 20:06, 21 July 2011
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 many of these links.
Relevant to CVC4 development:
- Developer Meeting Minutes
- CVC4 Contest
- CVC4 wishlist
- Developer's Guide
- User's Manual
- How do I... ?
- Our library: bibliographical references of interest
- Items "yet to discuss"
- CVC4 Parsing
- How to write a theory in CVC4
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.
