Function varisat::cdcl::find_conflict

fn find_conflict<'a>(
    ctx: Mut<WatchlistsP, Mut<VsidsP, Mut<VariablesP, Mut<TrailP, Mut<TmpFlagsP, Mut<SolverStateP, Mut<ProofP<'a>, Mut<ImplGraphP, Mut<ClauseDbP, Mut<ClauseAllocP, Mut<BinaryClausesP, Mut<AssumptionsP, Mut<AssignmentP, Ref<Context<'a>>>>>>>>>>>>>>>
) -> Result<(), FoundConflict>

Find a conflict.

Returns Err if a conflict was found and Ok if a satisfying assignment was found instead.