Home
last modified time | relevance | path

Searched refs:extractUnsatCore (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.h269 std::vector<Expr> extractUnsatCore();
H A Dproof_manager.cpp360 std::vector<Expr> ProofManager::extractUnsatCore() { in extractUnsatCore() function in CVC4::ProofManager
/dports/math/cvc4/CVC4-1.7/src/smt/
H A Dsmt_engine.cpp4487 return UnsatCore(this, d_proofManager->extractUnsatCore()); in getUnsatCoreInternal()
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/
H A DCHANGES.md1171 extractUnsatCore :: Modelable a => a -> Maybe [String]