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 most of these links.

Relevant to CVC4 development:

• Developer Meeting Minutes
• CVC4 wishlist
• Our library: bibliographical references of interest

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
• CVC3 benchmarking useful for CVC4 design

Relevant to this wiki:

• User registration
• Developer resources

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