How do I... ?

From CVC4
Jump to: navigation, search

This page is a repository for questions about working with CVC4. If you have a question, please add it here. If you have an answer, please add the answer to the Developer's Guide, or another wiki page, and then link to it from here.

Dealing with ANTLR3

Dealing with the build process

Dealing with Subversion

Dealing with the source tree

Dealing with tests

Dealing with code coverage

Dealing with performance

Dealing with the main CVC4 driver program

Dealing with code reviews

Dealing with the services on the Church server

NOTE: This information is deprecated but we might want to review it.

Dealing with adding a new theory

For information on how to add a new theory see How to write a theory in CVC4.