Difference between revisions of "CVC4"

From CVC4

Revision as of 09:15, 1 October 2009

Welcome to the CVC portal.

Some CVC3 resources (login required):

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

Other pages of interest:

@@ Line 1: / Line 1: @@
-Welcome to the CVC4 developers' wiki.  This service is only intended for the developers of CVC4 at NYU and UIowa.
+Welcome to the CVC portal.
 Some CVC3 resources (login required):
@@ Line 5: / Line 5: @@
 * CVC3 Wiki [http://www.cs.nyu.edu/acsys/cvc3/wiki http://www.cs.nyu.edu/acsys/cvc3/wiki]
 * [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
@@ Line 11: / Line 13: @@
 * [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list]
-[[References]]
+Other pages of interest:
+* [[Bibliographical references of interest|References]]
-You can start by taking a look at the [[User's Guide]] to find out how to use the service. If you encounter any problems, you should first take a look at the [[Frequently Asked Questions]].
-If you are a developer and you want to understand or change how the benchmarking service works, you can also take a look at the [[How it's Made|developers documentation]].