User manual

• Reference documentation
• API documentation
• Modules
• Indexes
• Package documentation

A PDF version of the documentation is available here. Please save the trees.

Reference documentation

• Getting started
• Concepts-only tutorial
• Axioms-only tutorial
• Tutorial

API documentation

Modules

• Macros
• Concepts
• Predicates
• Operator wrappers
• Predicates
• User type traits
• Data generators

Indexes

• Namespaces
• Classes

Package documentation

• README
• INSTALL
• NEWS
• COPYING
• AUTHORS