Function varisat::cdcl::conflict_step

pub fn conflict_step<'a>(
    ctx: Mut<WatchlistsP, Mut<VsidsP, Mut<VariablesP, Mut<TrailP, Mut<TmpFlagsP, Mut<TmpDataP, Mut<SolverStateP, Mut<ProofP<'a>, Mut<ModelP, Mut<ImplGraphP, Mut<ClauseDbP, Mut<ClauseAllocP, Mut<ClauseActivityP, Mut<BinaryClausesP, Mut<AssumptionsP, Mut<AssignmentP, Mut<AnalyzeConflictP, Ref<Context<'a>>>>>>>>>>>>>>>>>>>
)

Find a conflict, learn a clause and backtrack.