Function solve_by_components 

pub fn solve_by_components(num_vars: usize, clauses: &[Vec<Lit>]) -> Solved

Decide via plain component decomposition as a public dispatcher route: split into independent components and solve each apart through the full arsenal, combining the verdicts. A single component (or a model that fails the fail-closed recheck) defers to the plain CDCL fallback.