A Python enGine for Argumentation
Project description
pygarg: A Python enGine for Argumentation
This program solves most classical problems in abstract argumentation, mainly thanks to calls to SAT solvers. Calls to SAT solvers are made through the PySAT API: https://pysathq.github.io/installation/.
This software is still in development. Any suggestion of improvement or bug report is welcome: jean-guy.mailly@irit.fr.
Command-line Interface
The command-line interface of the current version is as follows:
usage: pygarg [-h] [-p PROBLEM] [-fo FORMAT] [-pr] [-f FILENAME] [-a ARGNAME]
A Python enGine for Argumentation: this program solves most classical problems in abstract argumentation, mainly thanks to calls to SAT solvers.
options:
-h, --help show this help message and exit
-p PROBLEM, --problem PROBLEM
describes the problem to solve. Must be XX-YY with XX in ['DC', 'DS', 'SE', 'EE', 'CE'] and YY in ['CF', 'AD', 'ST', 'CO', 'PR', 'GR', 'ID', 'SST'].
-fo FORMAT, --format FORMAT
format of the input file. Must be in ['apx', 'dimacs'].
-pr, --problems prints the list of supported problems.
-f FILENAME, --filename FILENAME
the input file describing an AF.
-a ARGNAME, --argname ARGNAME
name of the query argument for acceptability problems.
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
pygarg-0.1.2.tar.gz
(9.5 kB
view hashes)
Built Distribution
pygarg-0.1.2-py3-none-any.whl
(11.5 kB
view hashes)