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] |