projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc0fa28) | patch
Correctly handle negated assertions for assumption-based unsat cores. (#6579)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 19 May 2021 23:32:25 +0000 (16:32 -0700)
committerGitHub <noreply@github.com>
Wed, 19 May 2021 23:32:25 +0000 (18:32 -0500)
commitb7727338447cf8d738d9e95d032abe1d12532afd
tree8b3a770daacf662ff2110456be69c61e3c1126b2tree
parentcc0fa2849b96d228bb5ab43d0497a7b077a00099commit | diff
Correctly handle negated assertions for assumption-based unsat cores. (#6579)
src/prop/prop_engine.cpp diff | blob | history