Function varisat::glue::compute_glue

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

Compute the glue level of a clause.