De
Decdnnf-rs
Decdnnf-rs est un outil de manipulation de Decision-DNNFs produites par d4.
Il permet d’effectuer des requêtes telles que le comptage de modèles, la recherche de modèles sous hypothèses, ou encore l’énumération de solutions pour laquelle il excelle (article à paraître).
Il fournit aussi un outil de traduction des formules générées par d4 dans le format généré par c2d.