Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/aig-hagen/taas-fudge
A lightweight SAT-based solver for abstract argumentation
https://github.com/aig-hagen/taas-fudge
Last synced: about 2 months ago
JSON representation
A lightweight SAT-based solver for abstract argumentation
- Host: GitHub
- URL: https://github.com/aig-hagen/taas-fudge
- Owner: aig-hagen
- License: gpl-3.0
- Created: 2022-07-19T12:49:59.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2023-03-30T12:25:07.000Z (almost 2 years ago)
- Last Synced: 2023-06-07T14:38:48.267Z (over 1 year ago)
- Language: C++
- Size: 774 KB
- Stars: 1
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# taas-fudge v3.2.8 (2023-03-30)
Matthias Thimm ([email protected])
Federico Cerutti ([email protected])
Mauro Vallati ([email protected])
taas-fudge is written in C++ and in order to compile it you
need glib 2.0 header files (https://developer.gnome.org/glib/).
Then compile taas-fudge via
```
./build-taas-fudge.sh
```
taas-fudge uses a probo-compliant command line interface, see also
http://argumentationcompetition.org/2021/SolverRequirements.pdf. In order to
run taas-fudge, a SAT solver is required. This folder contains the source code to
CaDiCaL v1.3.1, which is automatically build within the above skript.
taas-fudge implements the problems [SE-GR,EE-GR,DC-GR,DS-GR,SE-CO,DS-CO,DS-PR,
SE-ID,EA-PR,DC-CO,SE-ST,DS-ID,SE-PR,DC-PR,CE-ST,CE-CO,CE-PR] and supports the
the ICCMA23 format for abstract argumentation frameworks. In particular, to decide
skeptical acceptance of an argument wrt. preferred semantics of an AAF in
TGF format use
```
taas-fudge -p DS-PR -fo i23 -f -a
```