crustabri
| Crates.io | crustabri |
| lib.rs | crustabri |
| version | 1.1.1 |
| source | src |
| created_at | 2023-09-06 14:02:32.618823 |
| updated_at | 2024-01-24 14:50:40.091477 |
| description | An argumentation framework library & solver. |
| homepage | |
| repository | https://github.com/crillab/crustabri |
| max_upload_size | |
| id | 965317 |
| size | 556,108 |
Emmanuel Lonca (elonca)
documentation
README
Crustabri
Crustabri is a RUST ABstract argumentation Reasoner Implementation.
This project contains both a library and two binaries.
The library allows to create and modify static and dynamic argumentation frameworks, and to execute queries on them.
The first binary, crustabri, allows various operations on input argumentation frameworks. Type crustabri -h to get the description of the available subcommands and crustabri <SUBCOMMAND> -h for the help for a given subcommand.
The second binary, crustabri_iccma23, is a wrapper for Crustabri to be compatible with the ICCMA'23 competition requirements.
License
Crustabri is developed at CRIL (Univ. Artois & CNRS). It is made available under the terms of the GNU GPLv3 license.