Class TPTPParserExample

java.lang.Object
org.tweetyproject.logics.fol.examples.TPTPParserExample

public class TPTPParserExample extends Object
Examples for using TPTPParser.
Author:
Anna Gessler