net.sf.tweety.logics.fol.test

Class Summary
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

Package net.sf.tweety.logics.fol.test