Difference between revisions of "CVC4"
From CVC4
| Line 23: | Line 23: | ||
'''Some CVC4 resources:''' | '''Some CVC4 resources:''' | ||
| − | * [http:// | + | * [http://church.cims.nyu.edu/bugzilla/ CVC4 Bugzilla] |
* [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list] | * [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list] | ||
<!--* [[CVC3 Benchmarking|CVC3 benchmarking useful for CVC4 design]] {{NEW}}--> | <!--* [[CVC3 Benchmarking|CVC3 benchmarking useful for CVC4 design]] {{NEW}}--> | ||
| Line 30: | Line 30: | ||
* [[User Registration|User registration]] | * [[User Registration|User registration]] | ||
* [[Developer Resources|Developer resources]] | * [[Developer Resources|Developer resources]] | ||
| − | * [[Using SSL with | + | * [[Using SSL with Church]] |
To register as a new user, or recommend someone for an account, contact [http://cs.nyu.edu/~dejan/ Dejan] or [http://cs.nyu.edu/~mdeters/ Morgan]. | To register as a new user, or recommend someone for an account, contact [http://cs.nyu.edu/~dejan/ Dejan] or [http://cs.nyu.edu/~mdeters/ Morgan]. | ||
Revision as of 09:16, 10 February 2012
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.
