bn2cnf translator

bn2cnf est un traducteur associant à un modèle graphique d’entrée (un réseau bayésien ou un réseau de Markov) une sortie qui consiste en une formule CNF et une carte de poids. Le poids d’un élément de preuve pour le modèle d’entrée peut être calculé comme le nombre de modèles pondérés de la sortie correspondante. Plusieurs schémas d’encodage peuvent être envisagés en fonction des options utilisées.