v0.3.3

Fixed

• answerQuery/4 fix

v0.3.2

Fixed

• Sort bug
• Strong negation in answerQuery/4
• Theory admissibility check

v0.3.1

Changed

• Argument list in graph visualisation tab

Fixed

• BP labelling algorithm adapted to its latest definition (statements a.ii and b.ii.1)

v0.3.0

Added

• Argumentation graph visualisation on buildLabelSets/0 and buildLabelSets/2.

Changed

• Rename printLabelSets/0 to buildLabelSets/0.
• Rename the "partialHBP" flag to "disableBPcompletion".
• Rename enablePartialHBP/0 and disablePartialHBP/0 to enableBPCompletion/0 and disableBPCompletion/0 respectively.

Fixed

• Backtracking support in modular calls.

v0.2.0

Added

• Modular reasoning.

v0.1.0

Added

• Deb/OSX/Windows support.