projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd33d20) | patch
Implementation of the new justification heuristic (#6465)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 24 May 2021 19:32:48 +0000 (14:32 -0500)
committerGitHub <noreply@github.com>
Mon, 24 May 2021 19:32:48 +0000 (19:32 +0000)
commitcaf47102f2b666aff7c89387067e7531412fd61d
tree181f7cdc7127dfdf859acca6b49e67ef571175e3tree
parentbd33d20609999f6f847aeb63a42350aeb3041406commit | diff
Implementation of the new justification heuristic (#6465)

This adds the new implementation of the justification heuristic. It does not enable this strategy yet.

A followup PR will activate this strategy within DecisionEngine.
src/CMakeLists.txt diff | blob | history
src/decision/justification_strategy.cpp [new file with mode: 0644] blob
src/decision/justification_strategy.h [new file with mode: 0644] blob
src/options/decision_options.toml diff | blob | history