projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d184659) | patch
Add difficulty manager (#7151)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 9 Sep 2021 15:26:34 +0000 (10:26 -0500)
committerGitHub <noreply@github.com>
Thu, 9 Sep 2021 15:26:34 +0000 (15:26 +0000)
commit6faad286091f8a6a2b0af8841816bf32b4f2b43c
tree590e94bd8fa5dfdaf0b187a49fb71c33954d7182tree
parentd184659d9dafc1719076d2949beb1e9f92865ae9commit | diff
Add difficulty manager (#7151)

Towards supporting a (get-difficulty) command.

This tracks an estimate of the difficulty of preprocessed assertions during solving. It will be connected to TheoryEngine (via RelevanceManager) in a followup PR.
src/CMakeLists.txt diff | blob | history
src/options/smt_options.toml diff | blob | history
src/theory/difficulty_manager.cpp [new file with mode: 0644] blob
src/theory/difficulty_manager.h [new file with mode: 0644] blob