logicng::graphs

Function hypergraph_from_cnf

Source 
pub fn hypergraph_from_cnf(
    cnf: EncodedFormula,
    f: &FormulaFactory,
) -> Hypergraph<Variable>
Expand description

Builds a hypergraph from a formula in CNF.