Software

d4 est un compilateur de CNF vers d-DNNF pour le comptage de modèles.

Software

Le projet Compile! rassemble les travaux réalisés au CRIL sur le thème de la compilation de connaissances.