ArgSemSAT

Deprecated hosting for this project. The new hosting is at
https://github.com/federicocerutti/ArgSemSAT

In particular, the source code for the publication:
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati,
How we designed winning algorithms for abstract argumentation and which insight we attained,
Artificial Intelligence,
Volume 276,
2019,
Pages 1-40,
ISSN 0004-3702,
https://doi.org/10.1016/j.artint.2019.08.001.
(http://www.sciencedirect.com/science/article/pii/S0004370218302650)

is available at
https://github.com/federicocerutti/ArgSemSAT/releases/tag/1.0.5


Solving argumentation problems in Dung's AFs.

Authors:
Federico Cerutti <federico.cerutti@acm.org>
Mauro Vallati <m.vallati@hud.ac.uk>
Massimiliano Giacomin <massimiliano.giacomin@unibs.it>
Credits for porting to MacOSX: Roman Kutlak <r.kutlak@abdn.ac.uk>