CVC4

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-devel IRC logs
• 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:

• CVC3 Bugzilla
• CVC3 Wiki
• Mailing list
• CVC3 public page
• Results of Fuzz-testing CVC3 prior to release

Some CVC4 resources:

• CVC4 Bugzilla
• Mailing list

Relevant to this wiki:

• User registration
• Developer resources
• Using SSL with Church

To register as a new user, or recommend someone for an account, contact Dejan or Morgan.