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).

Outil d'agrégation de croyances. Ce projet est une nouvelle implémentation de deux outils existants dédiés aux bases de croyances, l'un dédié à la fusion (bm2cnf) et l'autre à la révision (br2cnf).

Le wrapper de solveur pour les pistes dynamiques de la compétition ICCMA'21. Il gère l'exécution d'un solveur spécifié sur un cadre d'argumentation initial et des modifications dynamiques, en simulant des situations où des arguments sont ajoutés ou supprimés de manière incrémentale.