# ASPforABA
**ICCMA'25 version**

## Installing
1. Compile clingo with the instructions found in clingo-5.6.2/INSTALL.md (compile into aspforaba/clingo/ to skip step 3)
2. Install the required python libraries by running 
`pip install --no-index --find-links libraries/ -r requirements.txt`
3. Optionally, manually configure the location of the clingo binary and temporary files by running ./configure 

## Usage and input format
Run `./aspforaba -f <input_file> -p <problem> [-a <query>]`

This format complies with the [specification of ICCMA 2025](https://argumentationcompetition.org/2025/rules.html#solver-requirements). ASPforABA supports each problem for the ABA track (DC-{CO|ST}, DS-{PR|ST}, SE-{PR|ST}).

### Author of code
Tuomo Lehtonen, Aalto University (formerly University of Helsinki). For questions or comments, contact firstname.lastname@aalto.fi.
