README
======

This is the ASPARTIX-V solver for the ICCMA’15.
It is based on a reduction from Abstract Argumentation Framework tasks to
Answer Set Programming encodings. Thus the original work consists in the ASP
encodings, and a third party ASP solver is employed, namely Clingo. 

It supports the following tasks: SE-PR, EE-PR, DS-PR.

It is provided with:
- Probo compliant interface (bash script) for executing the solver
- Encoding for preferred semantics.

Requirements
------------

- Clingo 4.4.0 for Linux x86 64 bit.
  It has to be available as command "clingo".
  The required version of Clingo can be donwloaded at: 
    <http://sourceforge.net/projects/potassco/files/clingo/4.4.0/clingo-4.4.0-x86_64-linux.tar.gz/download>
    [last access: 29 mar 2015]
  The following instructions can be handy for making Clingo available as specified:
    - Download the file at the specified URL
    - Extract the content (you should get a folder called "clingo-4.4.0-x86_64-linux")
    - Add the absolute path of the above folder to the environment variable PATH as:
        $ export PATH=$PATH:absolute_path_of_the_folder_containing_clingo_binary

- Common Unix programs, such as grep, sed and awk.

