Function autocarve 

pub fn autocarve(
    num_vars: usize,
    clauses: &[Vec<Lit>],
    budget: usize,
) -> Option<bool>