Package org.tweetyproject.logics.fol.examples
-
Class Summary Class Description FolExample Some examples for using FolParser and provers.StandardFolWriterExample Shows how to use the StandardFolWriter.TPTPParserExample Examples for using TPTPParser.