Function stable_under_unit_propagation

pub fn stable_under_unit_propagation(
    assignment: &Assignment,
    clause: &[Literal],
) -> bool

Given an assignment, return true whenever the clause will not trigger unit propagation. This is equivalent to UP-models in rupee’s sickcheck.