Function varisat::clause::reduce::reduce_mids

pub fn reduce_mids(ctx: Mut<ClauseDbP, Mut<ClauseAllocP, Ref<Context>>>)

Reduce the number of mid tier clauses by moving inactive ones to the local tier.