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
|