https://github.com/aig-hagen/serialisation-solver

Algorithms for computing serialisation sequences in argumentation frameworks
https://github.com/aig-hagen/serialisation-solver

argumentation argumentation-frameworks solver

Last synced: about 2 months ago
JSON representation

Algorithms for computing serialisation sequences in argumentation frameworks

• Host: GitHub
• URL: https://github.com/aig-hagen/serialisation-solver
• Owner: aig-hagen
• License: gpl-3.0
• Created: 2024-08-26T17:29:44.000Z (4 months ago)
• Default Branch: main
• Last Pushed: 2024-10-31T16:42:22.000Z (2 months ago)
• Last Synced: 2024-10-31T17:30:37.550Z (2 months ago)
• Topics: argumentation, argumentation-frameworks, solver
• Language: C++
• Homepage:
• Size: 798 KB
• Stars: 0
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
![GitHub release (latest by date including pre-releases)](https://img.shields.io/github/v/release/aig-hagen/serialisation-solver?include_prereleases)

[![License: GPL3.0](https://img.shields.io/badge/License-GPL3-blue.svg)](https://opensource.org/license/gpl-3-0)

# serialisation-solver v1.2 (09-2024)

Implements algorithms for computing serialisation sequences for argumentation frameworks.

Supports i23 format for abstract argumentation frameworks.

## Installation

### Building SAT Solver

This solver works with [CaDiCal](https://github.com/arminbiere/cadical) (version 1.9.5)

The relevant source files are included and the solver can easily be built as follows

```

  make cadical

```

## Compile and Build Solver

To compile the solver use

```

  make

```

The binary can be found under `build/bin/serial-solver`

## Command-line usage

```

./serial-solver -p  -f  -fo 

  

        computational problem

        input argumentation framework

      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:

To enumerate the preferred serialisation sequences, use

```

  ./serial-solver -p ES-PR -fo tgf -f 

```