Function varisat_checker::state::process_unit_conflicts

pub fn process_unit_conflicts<'a>(
    ctx: Const<VariablesP, Const<ClausesP, Mut<ProcessingP<'a>, Ref<Context<'a>>>>>
) -> Result<(), CheckerError>

Process unit conflicts detected during clause loading.