Difference between revisions of "CVC4"

From CVC4
Jump to: navigation, search
m (CVC3 Developers Portal moved to CVC4 Developers Portal: New portal for CVC4)
(Add meeting minutes link)
Line 4: Line 4:
 
* CVC4 Bugzilla located at [http://www.cs.nyu.edu/acsys/bugs/ http://www.cs.nyu.edu/acsys/bugs/]
 
* CVC4 Bugzilla located at [http://www.cs.nyu.edu/acsys/bugs/ http://www.cs.nyu.edu/acsys/bugs/]
 
* CVC4 User Documentation wiki [http://www.cs.nyu.edu/acsys/cvc4/wiki http://www.cs.nyu.edu/acsys/cvc4/wiki]
 
* CVC4 User Documentation wiki [http://www.cs.nyu.edu/acsys/cvc4/wiki http://www.cs.nyu.edu/acsys/cvc4/wiki]
 +
* Developer meeting minutes [[Meeting Minutes]]
  
 
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]] or contact the [http://cs.nyu.edu/~dejan/ administrator].  
 
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]] or contact the [http://cs.nyu.edu/~dejan/ administrator].  
  
If you are a developer and you want to understand or change how the benchmarking service works, ou can also take a look at the [[How it's Made|developers documentation]].
+
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]].

Revision as of 09:59, 27 September 2009

Welcome to CVC4 developers documentation. This website and the service is only intended for the developers of CVC4 at NYU.

Two other pages important for developers:

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 or contact the administrator.

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 developers documentation.