initial set solver (iss)

Implements algorithms for computing initial sets for argumentation frameworks.

Supports i23 format for abstract argumentation frameworks.

Installation

Installation Requirements

• boost C++ Libraries installed
• CMAKE (>=3.11)

Building SAT Solver

This solver works with CaDiCal (version 2.1.3) The relevant source files are included and the solver can easily be built as follows

  cd lib/cadical-rel-2.1.3
  ./configure && make

Compile and Build Solver

To compile the solver, cd into the project root and use

  cmake -B build
  cmake --build build

The binary can be found under build/bin/InitialSetSolver

Command-line usage

./InitialSetSolver -p <task> -f <file> -fo <format>
  
  <task>      computational problem
  <file>      input argumentation framework
  <format>    file format for input AF

Options:
  --help      Displays this help message.
  --version   Prints version and author information.
  --formats   Prints available file formats.
  --problems  Prints available computational problems.

Example usage: