Home

Welcome to the gapt developer wiki! These pages contain information relevant to the development of the gapt-system. If you are interested in how to use gapt, please have a look at the user manual which is included in the releases. The latest release can be found at the gapt website.

This wiki covers the following topics:

• Compiling and running from source
• Development environment
• Coding conventions
• Branching model
• Term and formula representation
• Automatic builds

GAPT used to be developed on google code in a subversion repository. The page linked to below serves as a reference for the translation of subversion revisions to git hashes:

• svn revision git sha correspondence