Difference between revisions of "CVC4"
From CVC4
| 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 NYU and UIowa. | ||
| − | Relevant to CVC4 development: | + | '''Relevant to CVC4 development:''' |
* [[Developer Meeting Minutes]] | * [[Developer Meeting Minutes]] | ||
* [[References|Bibliographical references of interest]] | * [[References|Bibliographical references of interest]] | ||
| − | Some CVC3 resources (login may be required): | + | '''Some CVC3 resources (login may be required):''' |
* [http://www.cs.nyu.edu/acsys/bugs/ CVC3 Bugzilla] | * [http://www.cs.nyu.edu/acsys/bugs/ CVC3 Bugzilla] | ||
* [http://www.cs.nyu.edu/acsys/cvc3/wiki CVC3 Wiki] | * [http://www.cs.nyu.edu/acsys/cvc3/wiki CVC3 Wiki] | ||
| Line 11: | Line 11: | ||
* [http://cs.nyu.edu/acsys/cvc3/ CVC3 public page] | * [http://cs.nyu.edu/acsys/cvc3/ CVC3 public page] | ||
| − | Some CVC4 resources (login may be required): | + | '''Some CVC4 resources (login may be required):''' |
* [http://goedel.cims.nyu.edu/bugzilla/ CVC4 Bugzilla] | * [http://goedel.cims.nyu.edu/bugzilla/ CVC4 Bugzilla] | ||
* [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list] | * [http://cs.nyu.edu/mailman/listinfo/cvc4-devel Mailing list] | ||
Revision as of 08:57, 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):
