Skip to main content

check_counting_cert

logicaffeine_proof::pigeonhole

Function check_counting_cert 

Source 
pub fn check_counting_cert(c: &CountingCert) -> bool
Expand description

Re-check a counting certificate from scratch: it witnesses UNSAT iff pigeons > holes. O(1), zero trust in how it was produced — the whole refutation is one inequality.