Packages

javaDungAF	An ad-hoc package, comprising DungAF and the utility class SetComparison.
javaDungAF.tests	Contains classes for testing the classes in javaDungAF - DungAF and SetComparison.