Uses of Package
net.sf.tweety.logics.fol.prover

Packages that use net.sf.tweety.logics.fol.prover

Package	Description
net.sf.tweety.logics.fol.prover

Classes in net.sf.tweety.logics.fol.prover used by net.sf.tweety.logics.fol.prover

Class and Description
FolTheoremProver Abstract FOL Prover to be implemented by concrete solvers