projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a98cd6d) | patch
Dump boolean propagations and conflicts for decision tree org-mode viewer (#3788)
authormakaimann <makaim@stanford.edu>
Sat, 22 Feb 2020 06:13:31 +0000 (22:13 -0800)
committerGitHub <noreply@github.com>
Sat, 22 Feb 2020 06:13:31 +0000 (22:13 -0800)
commita626d85e490256a5d872fec49910cdb43e85c16d
tree8fa55a5d8c71cb1b841ac58e2b8801fc0da7550etree
parenta98cd6d50308d1dde1086f0c1502e022bd30ba1bcommit | diff
Dump boolean propagations and conflicts for decision tree org-mode viewer (#3788)

PR #2871 added trace tags for dumping the decision tree in org-mode format. However, it only dumped theory propagations/conflicts. This could be confusing because it would appear to backtrack without reaching a conflict (but actually the conflict was at the propositional level). This commit also adds dumping of boolean propagations and conflicts.
src/prop/minisat/core/Solver.cc diff | blob | history
src/theory/theory_engine.cpp diff | blob | history