Searched defs:CnfProof (Results 1 – 4 of 4) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/proof/ | ||
H A D | cnf_proof.h | 40 class CnfProof; variable |
H A D | proof_manager.h | 65 class CnfProof; variable |
H A D | sat_proof.h | 40 class CnfProof; variable |
H A D | cnf_proof.cpp | 30 CnfProof::CnfProof(prop::CnfStream* stream, in CnfProof() function in CVC4::CnfProof |