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.

OCMMED est un outil permettant l'obtention de modèles métaboliques cellulaires spécifiques grâce à l'énumération avec DEXOM. Il prend en entrée un réseau métabolique et des données transcriptomiques, et génère un modèle métabolique contextuel en maximisant les réactions actives avec des poids positifs et les réactions inactives avec des poids négatifs.

Ce projet contient toutes les applications et fichiers sources nécessaires à la génération de la hiérarchie de fichiers liés aux modèles Enumerations et ASDM, dans la forme attendue par les environnements de développement ALMA et CASA.