Function build_vtree_with_components 

pub fn build_vtree_with_components(
    formula: &CnfFormula,
    spec: &str,
    options: &VtreeOptions,
) -> Result<VtreeBuild, Error>

Build a vtree for a formula from a spec, and one per independent component when the spec reads the formula’s structure and the formula has two or more components.

VtreeOptions::default ranks a portfolio’s candidates by clause balance; VtreeOptions::by_peak_width by their peak context width over every variable.

Errors

As build_vtree.