projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76459c4) | patch
Add difficulty post-processor (#7150)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 9 Sep 2021 03:05:42 +0000 (22:05 -0500)
committerGitHub <noreply@github.com>
Thu, 9 Sep 2021 03:05:42 +0000 (03:05 +0000)
commitd184659d9dafc1719076d2949beb1e9f92865ae9
treeeb3c548ef7fed4c4bb54979a92d20d6ea1e321bdtree
parent76459c48a76eb0deb53377c634295b4aa5613605commit | diff
Add difficulty post-processor (#7150)

This is work towards supporting a (get-difficulty) command.

This is a helper class for transforming the difficulty of preprocessed assertions to difficulty of the input assertions.
src/CMakeLists.txt diff | blob | history
src/smt/difficulty_post_processor.cpp [new file with mode: 0644] blob
src/smt/difficulty_post_processor.h [new file with mode: 0644] blob