crustabri

Notoriété 10 %
Crustabri est une implémentation en RUST d'un raisonneur pour les réseaux d'argumentation abstraits. Le projet contient une bibliothèque et deux exécutables. La bibliothèque permet de créer et de modifier des réseaux d'argumentation statiques et dynamiques, et d'exécuter des requêtes sur ceux-ci. L'un des exécutables, `crustabri`, permet diverses opérations sur des réseaux d'argumentation d'entrée. Le second exécutable, `crustabri_iccma23`, est un wrapper pour Crustabri compatible avec les exigences de la compétition [ICCMA'23](https://argumentationcompetition.org/2023/index.html).
Description générée le mardi 19 mars 2024 à 20:11:58

D'autres initiatives de la même organisation