Package net.sf.tweety.logics.fol.test
-
Class Summary Class Description FolParserTest JUnit Test class for FolParser.Prover9Test JUnitTest to test Prover9SPASSTest JUnitTest to test SPASS (test cases fromTPTPTest
)TPTPTest JUnitTest to test TPTP printer and EProver implementation