Package net.sf.tweety.logics.fol.examples
-
Class Summary Class Description FolExample Some examples for using FolParser and provers.StandardFolWriterExample Shows how to use the StandardFolWriterTPTPParserExample Examples for using TPTPParser.