B | |
Base [Plugin] | |
C | |
Clause [Reasoner] | |
E | |
EncodedClause [Encoding] | |
Encoding |
Encoding of clauses
|
P | |
Plugin |
Specialized plugins
|
Proof [Reasoner] | |
Prover |
Meta-Prover
|
R | |
Reasoner |
Meta-Level reasoner
|
S | |
Seq [Prover] | |
Seq [Reasoner] | |
Seq [Reasoner.Clause] | |
Set [Plugin] |