d-DNNF-reasoner est un outil de raisonnement sur les représentations d-DNNF. Cet outil implémente certaines requêtes et transformations utiles sur les formes compilées, notamment le conditionnement, la vérification de la satisfiabilité et le comptage de modèles (opérations CD, CO et CT telles que définies dans la carte de compilation des connaissances).



Toute catégorie    Compilateurs