net.sf.tweety.arg.deductive.test
Classes
DeductiveTest