The following software has been developed by members of the AIDAL project.

Pygarg

Pygarg is a Python software using SAT-based techniques for solving hard computational problems in abstract argumentation.