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 versionThe solver is written in python and takes advantage of circumscriptino (and therefore of glucose).
ICCMA'21 version Fundamenta Informaticae 2018 version ICCMA'17 version