Difference between revisions of "CVC4"

From CVC4

Revision as of 09:56, 1 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.

Relevant to CVC4 development:

Some CVC3 resources (login may be required):

Some CVC4 resources (login may be required):

@@ Line 1: / Line 1: @@
-Welcome to the CVC portal.
+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]]
+* [[References|Bibliographical references of interest]]
 Some CVC3 resources (login may be required):
 * [http://www.cs.nyu.edu/acsys/bugs/ CVC3 Bugzilla]
 * [http://www.cs.nyu.edu/acsys/cvc3/wiki CVC3 Wiki]
+* [http://cs.nyu.edu/mailman/listinfo/cvc-devel Mailing list]
 * [http://cs.nyu.edu/acsys/cvc3/ CVC3 public page]
-This wiki also serves as the CVC4 developers' wiki.  This service is only intended for the developers of CVC4 at NYU and UIowa.
 Some CVC4 resources (login may be required):
 * [http://goedel.cims.nyu.edu/bugzilla/ CVC4 Bugzilla]
-* [[Developer Meeting Minutes]]
 * [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list]
-Other pages of interest (login required):
-* [[References|Bibliographical references of interest]]