projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f265b2) | patch
Do not use proof CNF stream with assumptions-based cores (#6488)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Tue, 4 May 2021 18:36:41 +0000 (15:36 -0300)
committerGitHub <noreply@github.com>
Tue, 4 May 2021 18:36:41 +0000 (15:36 -0300)
commit5018442120cb22e6f1923a97df7cd98c2d2b5a4a
tree4b2c5331b7fe482c047665e069bffe0392b3989etree
parent4f265b2c81c4cb858942f6e1e51ce8abdd01345bcommit | diff
Do not use proof CNF stream with assumptions-based cores (#6488)

Previously using proof CNF stream together with assumptions-based unsat cores added unnecessary performance overhead.

Co-authored-by: Mathias Preiner mathias.preiner@gmail.com
src/prop/prop_engine.cpp diff | blob | history
src/prop/theory_proxy.cpp diff | blob | history