# taas-fargo
Matthias Thimm and Paul Cibier (matthias.thimm@fernuni-hagen.de)


taas-fargo is a direct solver for abstract argumentation problems and written
in C++.

In order to compile taas-fargo do
```
    make
```
taas-fargo uses a ICCMA23-compliant command line interface, see also
https://iccma2023.github.io/rules.html.

taas-fargo implements the problems [DC-CO,DC-PR,SE-GR,EE-GR,SE-CO,DS-CO] for
correct reasoning and [DC-CO,DC-PR,DC-ST,DC-SST,DC-STG,DC-ID,DS-CO,DS-PR,DS-ST,DS-SST,DS-STG,DS-ID,DS-GR,DC-GR] for
approximative reasoning. For example, to decide
credulous acceptance of an argument wrt. preferred semantics of an AAF in
ICCMA23 format use
```
  taas-fargo -p DC-PR -fo i23 -f <file in ICCMA23 format> -a <argument>
```
For using the approximative version taas-fargo-limited, use the taas-fargo-limited.sh shell skript via, e.g.
```
  taas-fargo-limited.sh -p DC-PR -fo i23 -f <file in ICCMA23 format> -a <argument>
```
