Block |
Tableaux blocks.
|
Constraint |
Arithmetic constraints.
|
Formula |
(Usual) Propositional formulae.
|
Indexes |
Indexes.
|
Lemmas |
Sets of lemmas.
|
Literal |
Literals.
|
Looping |
Looping interface.
|
Modified |
Modify information.
|
Proposition |
Propositional variables.
|
Purity |
Pure literal elimination.
|
Regstab |
The strategy for Regular Schemata TABleaux.
|
Satisfiability |
Strategies.
|
Schema |
Propositional schemata.
|
Substitution |
Substitutions interface.
|
Variable |
Index variables.
|