Class | Description |
---|---|
FolParserTest |
JUnit Test class for FolParser.
|
Prover9Test |
JUnitTest to test Prover9
|
SPASSTest |
JUnitTest to test SPASS (test cases from
TPTPTest ) |
TPTPTest |
JUnitTest to test TPTP printer and EProver implementation
|