Function varisat::clause::assess::assess_learned_clause

pub fn assess_learned_clause(
    ctx: Const<ImplGraphP, Mut<TmpFlagsP, Ref<Context>>>, 
    lits: &[Lit]
) -> ClauseHeader

Assess the newly learned clause and generate a clause header.