Package org.tweetyproject.logics.fol.examples

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.