package prover9
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- class Prover9 extends ResolutionProver with ExternalProgram
Value Members
- object Prover9 extends Prover9
- object Prover9Importer extends ExternalProgram
This is the API documentation for GAPT.
The main package is gapt.