| Interface | Description |
|---|---|
| FolWriter |
Prints out single fol formulas and full knowledge bases
|
| Class | Description |
|---|---|
| Prover9Writer |
Prints single fol formulas and full knowledge bases to Porver9 format
(https://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/)
|
| TptpWriter |
Prints single fol formulas and full knowledge bases to TPTP
|