projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1cfc902) | patch
Fix learned literals for top-level AND (#8336)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 21 Mar 2022 14:41:54 +0000 (09:41 -0500)
committerGitHub <noreply@github.com>
Mon, 21 Mar 2022 14:41:54 +0000 (14:41 +0000)
commitb63c05876c2b5f2cd8c26beb85b8e1bee10344c3
tree64200ab06fadaf57bf1faa86b17aa697593428d9tree
parent1cfc902c459ca2e4f8f2946564de6f684164ad97commit | diff
Fix learned literals for top-level AND (#8336)

This is important for a deep restart strategy where substitutions may be consolidated by the preprocessor to a single AND.
src/prop/zero_level_learner.cpp diff | blob | history