Uses of Package
org.tweetyproject.logics.fol.reasoner

Packages that use org.tweetyproject.logics.fol.reasoner

Package	Description
org.tweetyproject.logics.fol.reasoner

Classes in org.tweetyproject.logics.fol.reasoner used by org.tweetyproject.logics.fol.reasoner

Class	Description
FolReasoner	Abstract FOL Prover to be implemented by concrete solvers.