Difference between revisions of "CVC4"
From CVC4
| Line 5: | Line 5: | ||
'''Relevant to CVC4 development:''' | '''Relevant to CVC4 development:''' | ||
* [[Developer Meeting Minutes]] | * [[Developer Meeting Minutes]] | ||
| − | {{#ifexist: Meeting Minutes - {{#timel:F j, Y}}|**[[Meeting Minutes - {{#timel:F j, Y}}|'''Today's meeting''' - {{#timel:D M j}}]] | + | {{#ifexist: Meeting Minutes - {{#timel:F j, Y}}|**[[Meeting Minutes - {{#timel:F j, Y}}|'''Today's meeting''' - {{#timel:D M j}}]]}} |
| − | + | {{#if: {{mtglinks_recent}}|**'''Recent meetings:''' {{mtglinks_recent}}}} | |
| − | + | {{#if: {{mtglinks_upcoming}}|**'''Upcoming meetings:''' {{mtglinks_upcoming}}<br/>}} | |
| − | }}{{#if: {{mtglinks_recent}}|**'''Recent meetings:''' {{mtglinks_recent}} | + | * [[CVC4 Wishlist|CVC4 wishlist]] |
| − | + | ||
| − | }}{{#if: {{mtglinks_upcoming}}|**'''Upcoming meetings:''' {{mtglinks_upcoming}}<br/> | + | |
| − | }}* [[CVC4 Wishlist|CVC4 wishlist]] | + | |
* [[Developer's Guide]] | * [[Developer's Guide]] | ||
* [[How do I... ?]] | * [[How do I... ?]] | ||
Revision as of 19:13, 31 January 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:
- CVC4 wishlist
- Developer's Guide
- How do I... ?
- Our library: bibliographical references of interest
- Items "yet to discuss"
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.
