Bibliothèque et outil en ligne de commande Rust dédié à la manipulation de formules Decision-DNNF. Permet de compiler, vérifier, compter, énumérer et échantillonner des modèles logiques à partir de formules compilées. Utilisé en intelligence artificielle pour des tâches d'inférence et de raisonnement automatisé sur des connaissances structurées.

Bibliothèque logicielle permettant l'analyse et la manipulation de modèles logiques décomposables (d-DNNF). Elle offre des fonctionnalités pour compter, énumérer et échantillonner des modèles, ainsi que pour accéder directement aux données sous des hypothèses spécifiques. Utilisée principalement en recherche et en intelligence artificielle pour des tâches de raisonnement automatisé et de vérification de modèles.

InteGraal est une plateforme open source dédiée à la gestion et au raisonnement sur des bases de connaissances exprimées en logique. Elle permet d'analyser, de manipuler et d'évaluer des règles logiques, des faits et des requêtes pour automatiser des processus de déduction et de vérification. Utilisée dans des contextes académiques et industriels, elle facilite l'intégration de moteurs de raisonnement dans des applications variées.

Ce projet est un moteur d'inférence conçu pour résoudre des problèmes complexes en appliquant des règles logiques et des faits prédéfinis. Il permet d'automatiser des raisonnements déductifs, d'analyser des données pour en tirer des conclusions, et d'aider à la prise de décision dans divers domaines comme l'intelligence artificielle ou l'aide à l'expertise.