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).
Dépôt de code
Cas d'utilisation métiers
Cas d'utilisation fonctionnel
Organisation
- Université d'Artois - Arras (organisation rattachée)
Description générée le mardi 19 mars 2024 à 20:11:58
D'autres initiatives de la même organisation
- Université d'Artoisuniv-artois.fr
- gophersatgithub.com/crillab/gophersat
- d4github.com/crillab/d4
- d4v2github.com/crillab/d4v2