Skip to content
Snippets Groups Projects

This is a solver for abstract argumentation. It currently only labels arguments by grounded semantics.