diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-09-09 10:26:34 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-09 15:26:34 +0000 |
| commit | 6faad286091f8a6a2b0af8841816bf32b4f2b43c (patch) | |
| tree | 590e94bd8fa5dfdaf0b187a49fb71c33954d7182 /src/CMakeLists.txt | |
| parent | d184659d9dafc1719076d2949beb1e9f92865ae9 (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.
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 401fc5976..ecfef1c22 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -690,6 +690,8 @@ libcvc5_add_sources( theory/decision_manager.h theory/decision_strategy.cpp theory/decision_strategy.h + theory/difficulty_manager.cpp + theory/difficulty_manager.h theory/ee_manager.cpp theory/ee_manager.h theory/ee_manager_central.cpp |