pyglaf

A solver for Argumentation Frameworks

The solver is written in python and takes advantage of circumscriptino (and therefore of glucose).

ICCMA'21 version Fundamenta Informaticae 2018 version ICCMA'17 version