Function solve_structured 

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

Decide clauses over num_vars variables, routing through every cheap specialist before CDCL — the fast default front-end. For the full arsenal (heavy algebraic + complete symmetry breaking before the fallback) use solve_comprehensive.