Difference between revisions of "CVC4"

From CVC4

Revision as of 14:31, 5 October 2009

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:

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.

Revision as of 21:31, 4 October 2009 (view source) Mdeters (Talk \| contribs) ← Older edit		Revision as of 14:31, 5 October 2009 (view source) Mdeters (Talk \| contribs) Newer edit →
Line 1:		Line 1:
−	Welcome to the CVC portal and CVC4 developers' wiki. This service is only intended for the developers of CVC4 at NYU and UIowa.	+	Welcome to the CVC portal and CVC4 developers' wiki. This service is only intended for the developers of CVC4 at [http://www.nyu.edu/ NYU] and [http://www.uiowa.edu/ UIowa].

	A valid login is required for most of these links.		A valid login is required for most of these links.