Skip to main content

sdcl_refute

logicaffeine_proof::sdcl

Function sdcl_refute 

Source 
pub fn sdcl_refute(num_vars: usize, clauses: &[Vec<Lit>]) -> CertifiedRefutation