pub fn sos_certificate(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Option<BTreeMap<usize, i128>>Expand description
The Farkas certificate of a degree-2 SoS refutation: the non-negative multipliers over the lift
constraints whose combination is a positive constant ≤ 0. None if no degree-2 refutation is found.
Re-checkable: combining the lift polynomials with these multipliers yields a bare positive constant.