Function varisat::unit_simplify::unit_simplify

pub fn unit_simplify<'a>(
    ctx: Const<AssumptionsP, Mut<VsidsP, Mut<WatchlistsP, Mut<VariablesP, Mut<SolverStateP, Mut<ProofP<'a>, Mut<ClauseDbP, Mut<ClauseAllocP, Mut<BinaryClausesP, Mut<AssignmentP, Ref<Context<'a>>>>>>>>>>>>
)

Remove satisfied clauses and false literals.