Difference between revisions of "CVC4"
From CVC4
| Line 13: | Line 13: | ||
* [http://cs.nyu.edu/mailman/listinfo/cvc-devel Mailing list] | * [http://cs.nyu.edu/mailman/listinfo/cvc-devel Mailing list] | ||
* [http://cs.nyu.edu/acsys/cvc3/ CVC3 public page] | * [http://cs.nyu.edu/acsys/cvc3/ CVC3 public page] | ||
| − | |||
* [[Fuzz-testing, October 2009|Results of Fuzz-testing CVC3 prior to release]] {{NEW}} | * [[Fuzz-testing, October 2009|Results of Fuzz-testing CVC3 prior to release]] {{NEW}} | ||
| Line 19: | Line 18: | ||
* [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] | ||
| + | * [[CVC3 Benchmarking|CVC3 benchmarking useful for CVC4 design]] {{NEW}} | ||
'''Relevant to this wiki:''' | '''Relevant to this wiki:''' | ||
Revision as of 12:45, 6 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.
