Package org.tweetyproject.logics.fol.test

package org.tweetyproject.logics.fol.test

Classes

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