  The pyglaf reasoner takes advantage of circumscription to solve computational
problems of abstract argumentation frameworks. In fact, many of these problems
are reduced to circumscription by means of linear encodings, and a few others
are solved by means of a sequence of calls to an oracle for circumscription.
Within pyglaf, Python is used to build the encodings and to control the
execution of the external circumscription solver, which extends the SAT solver
glucose and implements algorithms taking advantage of unsatisfiable core
analysis and incremental computation.
