logicng::operations::transformations

Function factorization_dnf

Source 
pub fn factorization_dnf(
    formula: EncodedFormula,
    f: &FormulaFactory,
) -> EncodedFormula
Expand description

Constructs the DNF of the given formula by using factorization.