Enum AffinePForced 

pub enum AffinePForced {
    Refuted(Option<Vec<Vec<Lit>>>),
    Forced(Vec<Vec<Lit>>),
    Unchanged,
}

The outcome of the GF(p) SAT-side break.

Variants

Refuted(Option<Vec<Vec<Lit>>>)

The mod-p core is inconsistent — UNSAT, with the mod-p DRAT certificate.

Forced(Vec<Vec<Lit>>)

Forced Boolean one-hot units — implied by the mod-p structure, none already present.

Unchanged

No recoverable mod-p structure, or nothing determined.