projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54ce4e6) | patch
Update documentation of `Solver::getUnsatCore()` (#8239)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 7 Mar 2022 22:11:55 +0000 (14:11 -0800)
committerGitHub <noreply@github.com>
Mon, 7 Mar 2022 22:11:55 +0000 (22:11 +0000)
commit4d338e4c45caefee34f08c4294127a20f96e7ff6
treeb63d98f5df4cb259eb95bfa034a5b5053bc8eb13tree
parent54ce4e6afd0cda5d5bca45d7c5ddc6587c50b30fcommit | diff
Update documentation of `Solver::getUnsatCore()` (#8239)

Fixes https://github.com/cvc5/cvc5-projects/issues/308. This commit adds
documentation for the differences between `Solver::getUnsatCore()` and
SMT-LIB's `(get-unsat-core)`.
src/api/cpp/cvc5.h diff | blob | history
src/api/java/io/github/cvc5/api/Solver.java diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/cpp/solver_black.cpp diff | blob | history