projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7730169) | patch
Add basic utilities for new implementation of justification heuristic (#6333)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 21 Apr 2021 02:34:35 +0000 (21:34 -0500)
committerGitHub <noreply@github.com>
Wed, 21 Apr 2021 02:34:35 +0000 (02:34 +0000)
commitfafde0249bec12df91370119f35fc020ec81c935
tree889e5c2dca3e334ce2a4a2f52b28ee58b27025b9tree
parent7730169aa938dfc8bf3991fcae1cc38344fad800commit | diff
Add basic utilities for new implementation of justification heuristic (#6333)

This sets up the core utilities for the new implementation of justification heuristic
src/CMakeLists.txt diff | blob | history
src/decision/justify_info.cpp [new file with mode: 0644] blob
src/decision/justify_info.h [new file with mode: 0644] blob
src/decision/justify_stack.cpp [new file with mode: 0644] blob
src/decision/justify_stack.h [new file with mode: 0644] blob
src/decision/justify_stats.cpp [new file with mode: 0644] blob
src/decision/justify_stats.h [new file with mode: 0644] blob