projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81b6e5c) | patch
[proofs] [dot] Print nodes clusters at dot format (#8574)
authorvinciusb <65973642+vinciusb@users.noreply.github.com>
Tue, 12 Apr 2022 13:13:56 +0000 (10:13 -0300)
committerGitHub <noreply@github.com>
Tue, 12 Apr 2022 13:13:56 +0000 (13:13 +0000)
commit13fe47404522f2ba984fe411c846e0a9795ee134
tree1dd12fcde6ca806077e682965db0e6fc67b00873tree
parent81b6e5ccbdd6f36e08232a20a5ff2683ccb7832ecommit | diff
[proofs] [dot] Print nodes clusters at dot format (#8574)

Add a printer option that allows the dot printer to identify each node type and group them up in node clusters. These cluster are determined according to "part of the proof" whether a node belongs to:

- input
- sat proof
- cnf proof
- theory lemma proof
- preprocessing

Signed-off-by: Vinícius Braga Freire vinicius.braga.freire@gmail.com
src/options/printer_options.toml diff | blob | history
src/proof/dot/dot_printer.cpp diff | blob | history
src/proof/dot/dot_printer.h diff | blob | history