| Class | Description |
|---|---|
| EProver |
Invokes Eprover (http://eprover.org) and returns its results.
|
| FolTheoremProver |
Abstract FOL Prover to be implemented by concrete solvers
|
| NaiveProver |
Uses a naive brute force search procedure for theorem proving.
|
| Prover9 |
Invokes Prover9 (https://www.cs.unm.edu/~mccune/mace4/) and returns its
results.
|