Index of modules


E
E [Satproc]
Engine
This is the main prover engine.
Errormsg
Utility functions for error-reporting

G
GrowArray
Array operations.

I
I [Satproc]
Input
The input to the prover is presented as a sequence of "inputs".
Int32Op [Util]

L
L [Satproc]
Logic
The representation of logical elements

P
Pretty
Utility functions for pretty-printing.
Proof
The representation and checking of proofs

S
Satproc
This defines the signature that a satisfiability procedure must implement
Stack [Util]
Stats
Utilities for maintaining timing statistics

U
Util
A bunch of generally useful functions