diff options
| author | makaimann <makaim@stanford.edu> | 2020-02-21 22:13:31 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-21 22:13:31 -0800 |
| commit | a626d85e490256a5d872fec49910cdb43e85c16d (patch) | |
| tree | 8fa55a5d8c71cb1b841ac58e2b8801fc0da7550e /doc | |
| parent | a98cd6d50308d1dde1086f0c1502e022bd30ba1b (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.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions