Uses of Class
net.sf.tweety.arg.dung.prover.AbstractDungSolver

Packages that use AbstractDungSolver

Package	Description
net.sf.tweety.arg.dung.prover

Uses of AbstractDungSolver in net.sf.tweety.arg.dung.prover

Subclasses of AbstractDungSolver in net.sf.tweety.arg.dung.prover

Modifier and Type	Class and Description
class	TweetySolver This is an example of a solver based on the "Tweety libraries for logical aspects of artificial intelligence and knowledge representation".