Home
last modified time | relevance | path

Searched refs:constructSatProof (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.h304 void constructSatProof();
H A Dproof_manager.cpp371 void ProofManager::constructSatProof() { in constructSatProof() function in CVC4::ProofManager
381 constructSatProof(); in getLemmasInUnsatCore()
435 constructSatProof(); in getWeakestImplicantInUnsatCore()