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
|