net.sf.tweety.arg.dung.prover

Interfaces

• InterfaceSolver

Classes

• AbstractDungSolver
• AbstractSolver
• GroundTruthSolver
• ProboSolver
• TweetySolver