Function varisat::binary::simplify_binary

pub fn simplify_binary<'a>(
    ctx: Const<VariablesP, Const<AssignmentP, Mut<SolverStateP, Mut<ProofP<'a>, Mut<BinaryClausesP, Ref<Context<'a>>>>>>>
)

Remove binary clauses that have an assigned literal.