diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-12-23 17:40:48 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-23 14:40:48 -0600 |
| commit | 5ef950054212a5fb9759c9137888f95bcadb05fd (patch) | |
| tree | f0f8dce3a68126feb1b264f2112461e6d8455346 /src/CMakeLists.txt | |
| parent | 2594c961105110f6fce17983bfa69f68bd9ee15e (diff) | |
[proof-new] Adding a manager for the new unsat cores (#5723)
Based on proof nodes of refutations.
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 0fb505823..152d2e4ff 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -274,6 +274,8 @@ libcvc4_add_sources( smt/sygus_solver.h smt/term_formula_removal.cpp smt/term_formula_removal.h + smt/unsat_core_manager.cpp + smt/unsat_core_manager.h smt/update_ostream.h smt/witness_form.cpp smt/witness_form.h |