CVC4

Welcome to the CVC portal and CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa.

Relevant to CVC4 development:

• Developer Meeting Minutes
• CVC4 wishlist
• Bibliographical references of interest

Some CVC3 resources (login may be required):

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

Some CVC4 resources (login may be required):

• CVC4 Bugzilla
• Mailing list

Relevant to this wiki:

• User registration
• Developer resources