Package net.sf.tweety.logics.fol.examples
-
Class Summary Class Description FolExample Some examples for using FolParser and provers.TPTPParserExample Examples for using TPTPParser.
Class | Description |
---|---|
FolExample |
Some examples for using FolParser and provers.
|
TPTPParserExample |
Examples for using TPTPParser.
|