Index of types
Index of exceptions
Index of values
Index of class methods
Index of class types
Index of modules

Encoding	Encoding of clauses
Reasoner	Meta-Level reasoner
Plugin	Specialized plugins
Prover	Meta-Prover