cn2mddg est un compilateur associant à un réseau de contraintes à domaine fini représenté dans le format XCSP 2.1 une représentation équivalente du langage MDDG de graphes de décision décomposables multivalués. MDDG est précisément l’extension aux domaines non booléens du langage de Decision-DNNF : il est basé sur des nœuds ET décomposables et des nœuds de décision. Tout comme Decision-DNNF, le langage MDDG offre un certain nombre de requêtes réalisables, y compris la recherche et le comptage de solutions, l’énumération de solutions et l’optimisation par rapport à une fonction objectif linéaire.



Toute catégorie    Compilateurs