Kettle API Documentation

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


Pretty
Utility functions for pretty-printing.
Errormsg
Utility functions for error-reporting
Stats
Utilities for maintaining timing statistics
Util
A bunch of generally useful functions
GrowArray
Array operations.
Engine
This is the main prover engine.
Proof
The representation and checking of proofs
Input
The input to the prover is presented as a sequence of "inputs".
Logic
The representation of logical elements
Satproc
This defines the signature that a satisfiability procedure must implement