net.sf.tweety.logics.fol.parser
Classes
FolParser
TPTPParser